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

%3 r_0370_0003__must must r_0370_0004__have have r_0370_0003__must->r_0370_0004__have [scope] r_0370_0005__been been r_0370_0004__have->r_0370_0005__been [scope] r_0370_0002__They They r_0370_0005__been->r_0370_0002__They [arg0] r_0370_0006__used used r_0370_0005__been->r_0370_0006__used [prd] r_0370_0008__the_r_0370_0009__sight the sight r_0370_0006__used->r_0370_0008__the_r_0370_0009__sight to z_000_370_a_dick_1952_28 z_000_370_a_dick_1952_28->r_0370_0008__the_r_0370_0009__sight [arg0] z_000_370_a_dick_1952_30 z_000_370_a_dick_1952_28->z_000_370_a_dick_1952_30 [prd] r_0370_0011__guns guns z_000_370_a_dick_1952_30->r_0370_0011__guns [conj1] r_0370_0013__weapons weapons z_000_370_a_dick_1952_30->r_0370_0013__weapons [conj2] r_0370_0015__uniforms uniforms z_000_370_a_dick_1952_30->r_0370_0015__uniforms [conj3]
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).



%3 r_0370_0003__must_r_0370_0004__have_r_0370_0005__been must have been r_0370_0002__They They r_0370_0003__must_r_0370_0004__have_r_0370_0005__been->r_0370_0002__They [arg0] r_0370_0006__used used r_0370_0003__must_r_0370_0004__have_r_0370_0005__been->r_0370_0006__used [prd] r_0370_0008__the_r_0370_0009__sight the sight r_0370_0006__used->r_0370_0008__the_r_0370_0009__sight to z_000_370_a_dick_1952_28 z_000_370_a_dick_1952_28->r_0370_0008__the_r_0370_0009__sight [arg0] z_000_370_a_dick_1952_30 z_000_370_a_dick_1952_28->z_000_370_a_dick_1952_30 [prd] r_0370_0011__guns guns z_000_370_a_dick_1952_30->r_0370_0011__guns [conj1] r_0370_0013__weapons weapons z_000_370_a_dick_1952_30->r_0370_0013__weapons [conj2] r_0370_0015__uniforms uniforms 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) ) ).



n370_a_dick_1952 n370_a_dick_1952_3 <ldquo> n370_a_dick_1952_6 They n370_a_dick_1952_8 must n370_a_dick_1952_11 have n370_a_dick_1952_14 been n370_a_dick_1952_17 used n370_a_dick_1952_20 to n370_a_dick_1952_23 the n370_a_dick_1952_25 sight n370_a_dick_1952_27 , n370_a_dick_1952_33 guns n370_a_dick_1952_35 , n370_a_dick_1952_39 weapons n370_a_dick_1952_41 , n370_a_dick_1952_45 uniforms n370_a_dick_1952_47 . n370_a_dick_1952_1 IP-MAT n370_a_dick_1952_2 PULQ n370_a_dick_1952_1->n370_a_dick_1952_2 n370_a_dick_1952_4 NP-SBJ n370_a_dick_1952_1->n370_a_dick_1952_4 n370_a_dick_1952_7 MD;_cat_Vi_ n370_a_dick_1952_1->n370_a_dick_1952_7 n370_a_dick_1952_9 IP-INF-CAT n370_a_dick_1952_1->n370_a_dick_1952_9 n370_a_dick_1952_46 PUNC n370_a_dick_1952_1->n370_a_dick_1952_46 n370_a_dick_1952_2->n370_a_dick_1952_3 n370_a_dick_1952_5 PRO n370_a_dick_1952_4->n370_a_dick_1952_5 n370_a_dick_1952_5->n370_a_dick_1952_6 n370_a_dick_1952_7->n370_a_dick_1952_8 n370_a_dick_1952_10 HV;_cat_Ve_ n370_a_dick_1952_9->n370_a_dick_1952_10 n370_a_dick_1952_12 IP-PPL-CAT n370_a_dick_1952_9->n370_a_dick_1952_12 n370_a_dick_1952_10->n370_a_dick_1952_11 n370_a_dick_1952_13 BEN;_La_ n370_a_dick_1952_12->n370_a_dick_1952_13 n370_a_dick_1952_15 ADJP-PRD n370_a_dick_1952_12->n370_a_dick_1952_15 n370_a_dick_1952_13->n370_a_dick_1952_14 n370_a_dick_1952_16 ADJ n370_a_dick_1952_15->n370_a_dick_1952_16 n370_a_dick_1952_18 PP n370_a_dick_1952_15->n370_a_dick_1952_18 n370_a_dick_1952_16->n370_a_dick_1952_17 n370_a_dick_1952_19 P-ROLE n370_a_dick_1952_18->n370_a_dick_1952_19 n370_a_dick_1952_21 NP n370_a_dick_1952_18->n370_a_dick_1952_21 n370_a_dick_1952_19->n370_a_dick_1952_20 n370_a_dick_1952_22 D n370_a_dick_1952_21->n370_a_dick_1952_22 n370_a_dick_1952_24 N n370_a_dick_1952_21->n370_a_dick_1952_24 n370_a_dick_1952_26 PUNC n370_a_dick_1952_21->n370_a_dick_1952_26 n370_a_dick_1952_28 IP-PPL n370_a_dick_1952_21->n370_a_dick_1952_28 n370_a_dick_1952_22->n370_a_dick_1952_23 n370_a_dick_1952_24->n370_a_dick_1952_25 n370_a_dick_1952_26->n370_a_dick_1952_27 n370_a_dick_1952_29 NP-PRD n370_a_dick_1952_28->n370_a_dick_1952_29 n370_a_dick_1952_30 NLYR n370_a_dick_1952_29->n370_a_dick_1952_30 n370_a_dick_1952_31 NLYR n370_a_dick_1952_30->n370_a_dick_1952_31 n370_a_dick_1952_34 PUNC n370_a_dick_1952_30->n370_a_dick_1952_34 n370_a_dick_1952_36 CONJP n370_a_dick_1952_30->n370_a_dick_1952_36 n370_a_dick_1952_40 PUNC n370_a_dick_1952_30->n370_a_dick_1952_40 n370_a_dick_1952_42 CONJP n370_a_dick_1952_30->n370_a_dick_1952_42 n370_a_dick_1952_32 NS n370_a_dick_1952_31->n370_a_dick_1952_32 n370_a_dick_1952_32->n370_a_dick_1952_33 n370_a_dick_1952_34->n370_a_dick_1952_35 n370_a_dick_1952_37 NLYR n370_a_dick_1952_36->n370_a_dick_1952_37 n370_a_dick_1952_38 NS n370_a_dick_1952_37->n370_a_dick_1952_38 n370_a_dick_1952_38->n370_a_dick_1952_39 n370_a_dick_1952_40->n370_a_dick_1952_41 n370_a_dick_1952_43 NLYR n370_a_dick_1952_42->n370_a_dick_1952_43 n370_a_dick_1952_44 NS n370_a_dick_1952_43->n370_a_dick_1952_44 n370_a_dick_1952_44->n370_a_dick_1952_45 n370_a_dick_1952_46->n370_a_dick_1952_47
( (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))