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