572_a_dick_1952
They studied the pictures, the films, the crates of books, the jeweled crowns, the cups, the statues.
arc(r_0572_0002__studied, r_0572_0001__They, arg0).
arc(r_0572_0002__studied, z_000_572_a_dick_1952_8, arg1).
arc(r_0572_0009__the_r_0572_0010__crates, r_0572_0012__books, r_0572_0011__of).
arc(r_0572_0014__the_r_0572_0016__crowns, r_0572_0015__jeweled, attrib42).
arc(z_000_572_a_dick_1952_8, r_0572_0003__the_r_0572_0004__pictures, conj1).
arc(z_000_572_a_dick_1952_8, r_0572_0006__the_r_0572_0007__films, conj2).
arc(z_000_572_a_dick_1952_8, r_0572_0009__the_r_0572_0010__crates, conj3).
arc(z_000_572_a_dick_1952_8, r_0572_0014__the_r_0572_0016__crowns, conj4).
arc(z_000_572_a_dick_1952_8, r_0572_0018__the_r_0572_0019__cups, conj5).
arc(z_000_572_a_dick_1952_8, r_0572_0021__the_r_0572_0022__statues, conj6).
fof(formula,axiom,
? [R_0572_0001__THEY,R_0572_0003__THE_R_0572_0004__PICTURES,R_0572_0006__THE_R_0572_0007__FILMS,R_0572_0012__BOOKS,R_0572_0009__THE_R_0572_0010__CRATES,R_0572_0015__JEWELED,R_0572_0014__THE_R_0572_0016__CROWNS,R_0572_0018__THE_R_0572_0019__CUPS,R_0572_0021__THE_R_0572_0022__STATUES,Z_000_572_A_DICK_1952_8,R_0572_0002__STUDIED] :
( r_0572_0001__They(R_0572_0001__THEY)
& r_0572_0003__the_r_0572_0004__pictures(R_0572_0003__THE_R_0572_0004__PICTURES)
& r_0572_0006__the_r_0572_0007__films(R_0572_0006__THE_R_0572_0007__FILMS)
& r_0572_0012__books(R_0572_0012__BOOKS)
& r_0572_0015__jeweled(R_0572_0015__JEWELED)
& r_0572_0018__the_r_0572_0019__cups(R_0572_0018__THE_R_0572_0019__CUPS)
& r_0572_0021__the_r_0572_0022__statues(R_0572_0021__THE_R_0572_0022__STATUES)
& r_0572_0002__studied(R_0572_0002__STUDIED)
& has_arg1(R_0572_0002__STUDIED,Z_000_572_A_DICK_1952_8)
& z_000_572_a_dick_1952_8(Z_000_572_A_DICK_1952_8)
& has_conj6(Z_000_572_A_DICK_1952_8,R_0572_0021__THE_R_0572_0022__STATUES)
& has_conj5(Z_000_572_A_DICK_1952_8,R_0572_0018__THE_R_0572_0019__CUPS)
& has_conj4(Z_000_572_A_DICK_1952_8,R_0572_0014__THE_R_0572_0016__CROWNS)
& r_0572_0014__the_r_0572_0016__crowns(R_0572_0014__THE_R_0572_0016__CROWNS)
& has_attrib42(R_0572_0014__THE_R_0572_0016__CROWNS,R_0572_0015__JEWELED)
& has_conj3(Z_000_572_A_DICK_1952_8,R_0572_0009__THE_R_0572_0010__CRATES)
& r_0572_0009__the_r_0572_0010__crates(R_0572_0009__THE_R_0572_0010__CRATES)
& has_r_0572_0011__of(R_0572_0009__THE_R_0572_0010__CRATES,R_0572_0012__BOOKS)
& has_conj2(Z_000_572_A_DICK_1952_8,R_0572_0006__THE_R_0572_0007__FILMS)
& has_conj1(Z_000_572_A_DICK_1952_8,R_0572_0003__THE_R_0572_0004__PICTURES)
& has_arg0(R_0572_0002__STUDIED,R_0572_0001__THEY) ) ).
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO They;{they}))
(VBD;_Tn_ studied;{study})
(NP-OB1 (NLYR (NLYR (D the;{the})
(NS pictures;{picture}))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NS films;{film})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NS crates;{crate})
(PP (P-ROLE of;{of})
(NP (NS books;{book})))))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(ADJP (ADJ jeweled;{jeweled}))
(NS crowns;{crown})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NS cups;{cup})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NS statues;{statue})))))
(PUNC .))
(ID 572_a_dick_1952))