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

n232_a_dick_1952 n232_a_dick_1952__1_1_1_1 They n232_a_dick_1952__1_2_1_1 probably n232_a_dick_1952__1_3_1 have n232_a_dick_1952__1_4_1_1 seen n232_a_dick_1952__1_4_2_1_1 us n232_a_dick_1952__1_4_3_1_1 already n232_a_dick_1952__1_4_4_1 , n232_a_dick_1952__1_4_5_1_1 for n232_a_dick_1952__1_4_5_2_1_1 that n232_a_dick_1952__1_4_5_2_2_1 matter n232_a_dick_1952__1_5_1 . n232_a_dick_1952__1_6_1 <rdquo> n232_a_dick_1952__1 IP-MAT n232_a_dick_1952__1_1 NP-SBJ n232_a_dick_1952__1->n232_a_dick_1952__1_1 n232_a_dick_1952__1_2 ADVP-NIM n232_a_dick_1952__1->n232_a_dick_1952__1_2 n232_a_dick_1952__1_3 HVP;_cat_Ve_ n232_a_dick_1952__1->n232_a_dick_1952__1_3 n232_a_dick_1952__1_4 IP-PPL-CAT n232_a_dick_1952__1->n232_a_dick_1952__1_4 n232_a_dick_1952__1_5 PUNC n232_a_dick_1952__1->n232_a_dick_1952__1_5 n232_a_dick_1952__1_6 PURQ n232_a_dick_1952__1->n232_a_dick_1952__1_6 n232_a_dick_1952__1_1_1 PRO n232_a_dick_1952__1_1->n232_a_dick_1952__1_1_1 n232_a_dick_1952__1_1_1->n232_a_dick_1952__1_1_1_1 n232_a_dick_1952__1_2_1 ADV n232_a_dick_1952__1_2->n232_a_dick_1952__1_2_1 n232_a_dick_1952__1_2_1->n232_a_dick_1952__1_2_1_1 n232_a_dick_1952__1_3->n232_a_dick_1952__1_3_1 n232_a_dick_1952__1_4_1 VVN;_Tn_ n232_a_dick_1952__1_4->n232_a_dick_1952__1_4_1 n232_a_dick_1952__1_4_2 NP-OB1 n232_a_dick_1952__1_4->n232_a_dick_1952__1_4_2 n232_a_dick_1952__1_4_3 ADVP-NIM n232_a_dick_1952__1_4->n232_a_dick_1952__1_4_3 n232_a_dick_1952__1_4_4 PUNC n232_a_dick_1952__1_4->n232_a_dick_1952__1_4_4 n232_a_dick_1952__1_4_5 PP-NIM n232_a_dick_1952__1_4->n232_a_dick_1952__1_4_5 n232_a_dick_1952__1_4_1->n232_a_dick_1952__1_4_1_1 n232_a_dick_1952__1_4_2_1 PRO n232_a_dick_1952__1_4_2->n232_a_dick_1952__1_4_2_1 n232_a_dick_1952__1_4_2_1->n232_a_dick_1952__1_4_2_1_1 n232_a_dick_1952__1_4_3_1 ADV n232_a_dick_1952__1_4_3->n232_a_dick_1952__1_4_3_1 n232_a_dick_1952__1_4_3_1->n232_a_dick_1952__1_4_3_1_1 n232_a_dick_1952__1_4_4->n232_a_dick_1952__1_4_4_1 n232_a_dick_1952__1_4_5_1 P-ROLE n232_a_dick_1952__1_4_5->n232_a_dick_1952__1_4_5_1 n232_a_dick_1952__1_4_5_2 NP n232_a_dick_1952__1_4_5->n232_a_dick_1952__1_4_5_2 n232_a_dick_1952__1_4_5_1->n232_a_dick_1952__1_4_5_1_1 n232_a_dick_1952__1_4_5_2_1 D n232_a_dick_1952__1_4_5_2->n232_a_dick_1952__1_4_5_2_1 n232_a_dick_1952__1_4_5_2_2 N n232_a_dick_1952__1_4_5_2->n232_a_dick_1952__1_4_5_2_2 n232_a_dick_1952__1_4_5_2_1->n232_a_dick_1952__1_4_5_2_1_1 n232_a_dick_1952__1_4_5_2_2->n232_a_dick_1952__1_4_5_2_2_1 n232_a_dick_1952__1_5->n232_a_dick_1952__1_5_1 n232_a_dick_1952__1_6->n232_a_dick_1952__1_6_1
( (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))



%3 r_0232_0004__seen seen r_0232_0009__that_r_0232_0010__matter that matter r_0232_0004__seen->r_0232_0009__that_r_0232_0010__matter for [nim] r_0232_0006__already already r_0232_0004__seen->r_0232_0006__already [nim] r_0232_0005__us us r_0232_0004__seen->r_0232_0005__us [arg1] r_0232_0001__They They r_0232_0004__seen->r_0232_0001__They [arg0] r_0232_0003__have have r_0232_0003__have->r_0232_0004__seen [scope] r_0232_0002__probably probably r_0232_0003__have->r_0232_0002__probably [nim]
arc(r_0232_0003__have,r_0232_0002__probably,nim).
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,nim).
arc(r_0232_0004__seen,r_0232_0009__that_r_0232_0010__matter,r_0232_0008__for__nim).



%3 r_0232_0003__have_r_0232_0004__seen have seen r_0232_0002__probably probably r_0232_0003__have_r_0232_0004__seen->r_0232_0002__probably [nim] r_0232_0001__They They r_0232_0003__have_r_0232_0004__seen->r_0232_0001__They [arg0] 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_0232_0002__PROBABLY,R_0232_0001__THEY,R_0232_0005__US,R_0232_0006__ALREADY,R_0232_0009__THAT_R_0232_0010__MATTER,R_0232_0003__HAVE_R_0232_0004__SEEN] :
      ( r_0232_0001__They(R_0232_0001__THEY)
      & r_0232_0002__probably(R_0232_0002__PROBABLY)
      & r_0232_0005__us(R_0232_0005__US)
      & r_0232_0006__already(R_0232_0006__ALREADY)
      & r_0232_0009__that_r_0232_0010__matter(R_0232_0009__THAT_R_0232_0010__MATTER)
      & r_0232_0003__have_r_0232_0004__seen(R_0232_0003__HAVE_R_0232_0004__SEEN)
      & has_r_0232_0008__for__nim(R_0232_0003__HAVE_R_0232_0004__SEEN,R_0232_0009__THAT_R_0232_0010__MATTER)
      & has_nim(R_0232_0003__HAVE_R_0232_0004__SEEN,R_0232_0006__ALREADY)
      & has_arg1(R_0232_0003__HAVE_R_0232_0004__SEEN,R_0232_0005__US)
      & has_arg0(R_0232_0003__HAVE_R_0232_0004__SEEN,R_0232_0001__THEY)
      & has_nim(R_0232_0003__HAVE_R_0232_0004__SEEN,R_0232_0002__PROBABLY) ) ).