TSPC 370_a_dick

370_a_dick_1952
“They must have been used to the sight, guns, weapons, uniforms.

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_La_ been;{be})
                                  (ADJP-PRD (ADJ used;{used})
                                            (PP (P-ROLE to;{to})
                                                (NP;{SIGHT} (D the;{the})
                                                            (N sight;{sight})
                                                            (PUNC ,)
                                                            (PRN (NP (NLYR (NLYR (NS guns;{gun}))
                                                                           (PUNC ,)
                                                                           (CONJP (NLYR (NS weapons;{weapon})))
                                                                           (PUNC ,)
                                                                           (CONJP (NLYR (NS uniforms;{uniform})))))))))))
          (PUNC .))
  (ID 370_a_dick_1952))

arc(r_0370_0003__must,r_0370_0004__have,scope).
arc(r_0370_0004__have,r_0370_0005__been,scope).
arc(r_0370_0005__been,r_0370_0002__They,arg0).
arc(r_0370_0005__been,r_0370_0006__used,prd).
arc(r_0370_0006__used,r_0370_0008__the_r_0370_0009__sight,r_0370_0007__to).
arc(z_0370_5009,r_0370_0011__guns,conj1).
arc(z_0370_5009,r_0370_0013__weapons,conj2).
arc(z_0370_5009,r_0370_0015__uniforms,conj3).
arc(z_0370_5010,r_0370_0008__the_r_0370_0009__sight,arg0).
arc(z_0370_5010,z_0370_5009,prd).

fof(formula,axiom,
    ? [R_0370_0002__THEY,R_0370_0008__THE_R_0370_0009__SIGHT,R_0370_0006__USED,R_0370_0003__MUST_R_0370_0004__HAVE_R_0370_0005__BEEN,R_0370_0011__GUNS,R_0370_0013__WEAPONS,R_0370_0015__UNIFORMS,Z_0370_5009,Z_0370_5010] :
      ( r_0370_0002__They(R_0370_0002__THEY)
      & r_0370_0008__the_r_0370_0009__sight(R_0370_0008__THE_R_0370_0009__SIGHT)
      & r_0370_0011__guns(R_0370_0011__GUNS)
      & r_0370_0013__weapons(R_0370_0013__WEAPONS)
      & r_0370_0015__uniforms(R_0370_0015__UNIFORMS)
      & z_0370_5010(Z_0370_5010)
      & has_prd(Z_0370_5010,Z_0370_5009)
      & z_0370_5009(Z_0370_5009)
      & has_conj3(Z_0370_5009,R_0370_0015__UNIFORMS)
      & has_conj2(Z_0370_5009,R_0370_0013__WEAPONS)
      & has_conj1(Z_0370_5009,R_0370_0011__GUNS)
      & has_arg0(Z_0370_5010,R_0370_0008__THE_R_0370_0009__SIGHT)
      & r_0370_0003__must_r_0370_0004__have_r_0370_0005__been(R_0370_0003__MUST_R_0370_0004__HAVE_R_0370_0005__BEEN)
      & has_prd(R_0370_0003__MUST_R_0370_0004__HAVE_R_0370_0005__BEEN,R_0370_0006__USED)
      & r_0370_0006__used(R_0370_0006__USED)
      & has_r_0370_0007__to(R_0370_0006__USED,R_0370_0008__THE_R_0370_0009__SIGHT)
      & has_arg0(R_0370_0003__MUST_R_0370_0004__HAVE_R_0370_0005__BEEN,R_0370_0002__THEY) ) ).