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_572_2_STUDIED,R_572_1_THEY,Z_572_A_DICK_1952_8,R_572_3_THE_PICTURES,R_572_6_THE_FILMS,R_572_9_THE_CRATES,R_572_12_BOOKS,R_572_14_THE_CROWNS,R_572_15_JEWELED,R_572_18_THE_CUPS,R_572_21_THE_STATUES] :
( they(R_572_1_THEY)
& the_pictures(R_572_3_THE_PICTURES)
& the_films(R_572_6_THE_FILMS)
& books(R_572_12_BOOKS)
& jeweled(R_572_15_JEWELED)
& the_cups(R_572_18_THE_CUPS)
& the_statues(R_572_21_THE_STATUES)
& studied(R_572_2_STUDIED,R_572_1_THEY,Z_572_A_DICK_1952_8)
& z_572_a_dick_1952_8(Z_572_A_DICK_1952_8)
& conj1(Z_572_A_DICK_1952_8,R_572_3_THE_PICTURES)
& conj2(Z_572_A_DICK_1952_8,R_572_6_THE_FILMS)
& conj3(Z_572_A_DICK_1952_8,R_572_9_THE_CRATES)
& the_crates(R_572_9_THE_CRATES)
& of(R_572_9_THE_CRATES,R_572_12_BOOKS)
& conj4(Z_572_A_DICK_1952_8,R_572_14_THE_CROWNS)
& the_crowns(R_572_14_THE_CROWNS)
& attrib42(R_572_14_THE_CROWNS,R_572_15_JEWELED)
& conj5(Z_572_A_DICK_1952_8,R_572_18_THE_CUPS)
& conj6(Z_572_A_DICK_1952_8,R_572_21_THE_STATUES) ) ).
( (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))