232_a_dick_1952
They probably have seen us already, for that matter.”
( (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))
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).
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) ) ).