TSPC 370_a_dick

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

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_000_370_a_dick_1952_28, r_0370_0008__the_r_0370_0009__sight, arg0).
arc(z_000_370_a_dick_1952_28, z_000_370_a_dick_1952_30, prd).
arc(z_000_370_a_dick_1952_30, r_0370_0011__guns, conj1).
arc(z_000_370_a_dick_1952_30, r_0370_0013__weapons, conj2).
arc(z_000_370_a_dick_1952_30, r_0370_0015__uniforms, conj3).

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_000_370_A_DICK_1952_30,Z_000_370_A_DICK_1952_28] :
      ( 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_000_370_a_dick_1952_28(Z_000_370_A_DICK_1952_28)
      & has_prd(Z_000_370_A_DICK_1952_28,Z_000_370_A_DICK_1952_30)
      & z_000_370_a_dick_1952_30(Z_000_370_A_DICK_1952_30)
      & has_conj3(Z_000_370_A_DICK_1952_30,R_0370_0015__UNIFORMS)
      & has_conj2(Z_000_370_A_DICK_1952_30,R_0370_0013__WEAPONS)
      & has_conj1(Z_000_370_A_DICK_1952_30,R_0370_0011__GUNS)
      & has_arg0(Z_000_370_A_DICK_1952_28,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) ) ).

( (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 ,)
                                                            (IP-PPL (NP-PRD (NLYR (NLYR (NS guns;{gun}))
                                                                                  (PUNC ,)
                                                                                  (CONJP (NLYR (NS weapons;{weapon})))
                                                                                  (PUNC ,)
                                                                                  (CONJP (NLYR (NS uniforms;{uniform})))))))))))
          (PUNC .))
  (ID 370_a_dick_1952))