TSPC 572_a_dick

572_a_dick_1952
They studied the pictures, the films, the crates of books, the jeweled crowns, the cups, 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))

arc(r_0572_0002__studied,r_0572_0001__They,arg0).
arc(r_0572_0002__studied,z_0572_5010,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,attrib).
arc(z_0572_5010,r_0572_0003__the_r_0572_0004__pictures,conj1).
arc(z_0572_5010,r_0572_0006__the_r_0572_0007__films,conj2).
arc(z_0572_5010,r_0572_0009__the_r_0572_0010__crates,conj3).
arc(z_0572_5010,r_0572_0014__the_r_0572_0016__crowns,conj4).
arc(z_0572_5010,r_0572_0018__the_r_0572_0019__cups,conj5).
arc(z_0572_5010,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_0572_5010,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_0572_5010)
      & z_0572_5010(Z_0572_5010)
      & has_conj6(Z_0572_5010,R_0572_0021__THE_R_0572_0022__STATUES)
      & has_conj5(Z_0572_5010,R_0572_0018__THE_R_0572_0019__CUPS)
      & has_conj4(Z_0572_5010,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_attrib(R_0572_0014__THE_R_0572_0016__CROWNS,R_0572_0015__JEWELED)
      & has_conj3(Z_0572_5010,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_0572_5010,R_0572_0006__THE_R_0572_0007__FILMS)
      & has_conj1(Z_0572_5010,R_0572_0003__THE_R_0572_0004__PICTURES)
      & has_arg0(R_0572_0002__STUDIED,R_0572_0001__THEY) ) ).