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_370_3_MUST_HAVE_BEEN,R_370_2_THEY,R_370_6_USED,Z_370_A_DICK_1952_28,R_370_8_THE_SIGHT,Z_370_A_DICK_1952_30,R_370_11_GUNS,R_370_13_WEAPONS,R_370_15_UNIFORMS] :
      ( they(R_370_2_THEY)
      & the_sight(R_370_8_THE_SIGHT)
      & guns(R_370_11_GUNS)
      & weapons(R_370_13_WEAPONS)
      & uniforms(R_370_15_UNIFORMS)
      & must_have_been(R_370_3_MUST_HAVE_BEEN,R_370_2_THEY,R_370_6_USED)
      & used(R_370_6_USED)
      & to(R_370_6_USED,R_370_8_THE_SIGHT)
      & z_370_a_dick_1952_28(Z_370_A_DICK_1952_28,R_370_8_THE_SIGHT,Z_370_A_DICK_1952_30)
      & z_370_a_dick_1952_30(Z_370_A_DICK_1952_30)
      & conj1(Z_370_A_DICK_1952_30,R_370_11_GUNS)
      & conj2(Z_370_A_DICK_1952_30,R_370_13_WEAPONS)
      & conj3(Z_370_A_DICK_1952_30,R_370_15_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 ,)
                                                            (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))