232_a_dick_1952
They probably have seen us already, for that matter.”

%3 r_0232_0003__have have r_0232_0002__probably probably r_0232_0003__have->r_0232_0002__probably [nim] r_0232_0004__seen seen r_0232_0003__have->r_0232_0004__seen [scope] r_0232_0001__They They r_0232_0004__seen->r_0232_0001__They [arg0] r_0232_0005__us us r_0232_0004__seen->r_0232_0005__us [arg1] r_0232_0006__already already r_0232_0004__seen->r_0232_0006__already [nim] r_0232_0009__that_r_0232_0010__matter that matter r_0232_0004__seen->r_0232_0009__that_r_0232_0010__matter for [nim]
arc(r_0232_0003__have, r_0232_0002__probably, nim5).
arc(r_0232_0003__have, r_0232_0004__seen, scope).
arc(r_0232_0004__seen, r_0232_0001__They, arg0).
arc(r_0232_0004__seen, r_0232_0005__us, arg1).
arc(r_0232_0004__seen, r_0232_0006__already, nim16).
arc(r_0232_0004__seen, r_0232_0009__that_r_0232_0010__matter, r_0232_0008__for_nim24).



%3 r_0232_0003__have_r_0232_0004__seen have seen r_0232_0001__They They r_0232_0003__have_r_0232_0004__seen->r_0232_0001__They [arg0] r_0232_0002__probably probably r_0232_0003__have_r_0232_0004__seen->r_0232_0002__probably [nim] r_0232_0005__us us r_0232_0003__have_r_0232_0004__seen->r_0232_0005__us [arg1] r_0232_0006__already already r_0232_0003__have_r_0232_0004__seen->r_0232_0006__already [nim] r_0232_0009__that_r_0232_0010__matter that matter r_0232_0003__have_r_0232_0004__seen->r_0232_0009__that_r_0232_0010__matter for [nim]
fof(formula,axiom,
    ? [R_232_3_HAVE_SEEN,R_232_1_THEY,R_232_5_US,R_232_6_ALREADY,R_232_2_PROBABLY,R_232_9_THAT_MATTER] :
      ( they(R_232_1_THEY)
      & us(R_232_5_US)
      & already(R_232_6_ALREADY)
      & probably(R_232_2_PROBABLY)
      & that_matter(R_232_9_THAT_MATTER)
      & have_seen(R_232_3_HAVE_SEEN,R_232_1_THEY,R_232_5_US)
      & nim16(R_232_3_HAVE_SEEN,R_232_6_ALREADY)
      & nim5(R_232_3_HAVE_SEEN,R_232_2_PROBABLY)
      & for_nim24(R_232_3_HAVE_SEEN,R_232_9_THAT_MATTER) ) ).



n232_a_dick_1952 n232_a_dick_1952_4 They n232_a_dick_1952_7 probably n232_a_dick_1952_9 have n232_a_dick_1952_12 seen n232_a_dick_1952_15 us n232_a_dick_1952_18 already n232_a_dick_1952_20 , n232_a_dick_1952_23 for n232_a_dick_1952_26 that n232_a_dick_1952_28 matter n232_a_dick_1952_30 . n232_a_dick_1952_32 <rdquo> n232_a_dick_1952_1 IP-MAT n232_a_dick_1952_2 NP-SBJ n232_a_dick_1952_1->n232_a_dick_1952_2 n232_a_dick_1952_5 ADVP-NIM n232_a_dick_1952_1->n232_a_dick_1952_5 n232_a_dick_1952_8 HVP;_cat_Ve_ n232_a_dick_1952_1->n232_a_dick_1952_8 n232_a_dick_1952_10 IP-PPL-CAT n232_a_dick_1952_1->n232_a_dick_1952_10 n232_a_dick_1952_29 PUNC n232_a_dick_1952_1->n232_a_dick_1952_29 n232_a_dick_1952_31 PURQ n232_a_dick_1952_1->n232_a_dick_1952_31 n232_a_dick_1952_3 PRO n232_a_dick_1952_2->n232_a_dick_1952_3 n232_a_dick_1952_3->n232_a_dick_1952_4 n232_a_dick_1952_6 ADV n232_a_dick_1952_5->n232_a_dick_1952_6 n232_a_dick_1952_6->n232_a_dick_1952_7 n232_a_dick_1952_8->n232_a_dick_1952_9 n232_a_dick_1952_11 VVN;_Tn_ n232_a_dick_1952_10->n232_a_dick_1952_11 n232_a_dick_1952_13 NP-OB1 n232_a_dick_1952_10->n232_a_dick_1952_13 n232_a_dick_1952_16 ADVP-NIM n232_a_dick_1952_10->n232_a_dick_1952_16 n232_a_dick_1952_19 PUNC n232_a_dick_1952_10->n232_a_dick_1952_19 n232_a_dick_1952_21 PP-NIM n232_a_dick_1952_10->n232_a_dick_1952_21 n232_a_dick_1952_11->n232_a_dick_1952_12 n232_a_dick_1952_14 PRO n232_a_dick_1952_13->n232_a_dick_1952_14 n232_a_dick_1952_14->n232_a_dick_1952_15 n232_a_dick_1952_17 ADV n232_a_dick_1952_16->n232_a_dick_1952_17 n232_a_dick_1952_17->n232_a_dick_1952_18 n232_a_dick_1952_19->n232_a_dick_1952_20 n232_a_dick_1952_22 P-ROLE n232_a_dick_1952_21->n232_a_dick_1952_22 n232_a_dick_1952_24 NP n232_a_dick_1952_21->n232_a_dick_1952_24 n232_a_dick_1952_22->n232_a_dick_1952_23 n232_a_dick_1952_25 D n232_a_dick_1952_24->n232_a_dick_1952_25 n232_a_dick_1952_27 N n232_a_dick_1952_24->n232_a_dick_1952_27 n232_a_dick_1952_25->n232_a_dick_1952_26 n232_a_dick_1952_27->n232_a_dick_1952_28 n232_a_dick_1952_29->n232_a_dick_1952_30 n232_a_dick_1952_31->n232_a_dick_1952_32
( (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (ADVP-NIM (ADV probably;{probably}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                      (NP-OB1;{DORLE_NASHA_TANCE} (PRO us;{we}))
                      (ADVP-NIM (ADV already;{already}))
                      (PUNC ,)
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D that;{that})
                                  (N matter;{matter}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 232_a_dick_1952))