233_a_dick_1952
“They probably have seen the ship itself,” Tance said.
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (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;{SHIP} (D the;{the})
(N ship;{ship}))
(NP-RFL;{SHIP} (PNX itself;{itself})))))
(PUNC ,)
(PURQ <rdquo>)
(NP-SBJ;{TANCE} (NPR Tance;{Tance}))
(VBD;_Tr_ said;{say})
(PUNC .))
(ID 233_a_dick_1952))
arc(r_0233_0004__have,r_0233_0003__probably,nim).
arc(r_0233_0004__have,r_0233_0005__seen,scope).
arc(r_0233_0005__seen,r_0233_0002__They,arg0).
arc(r_0233_0005__seen,r_0233_0006__the_r_0233_0007__ship,arg1).
arc(r_0233_0005__seen,r_0233_0006__the_r_0233_0007__ship,rfl).
arc(r_0233_0012__said,r_0233_0011__Tance,arg0).
arc(r_0233_0012__said,z_0233_5002__utterance,arg1).
arc(z_0233_5002__utterance,r_0233_0004__have,part1).
fof(formula,axiom,
? [R_0233_0011__TANCE,R_0233_0003__PROBABLY,R_0233_0002__THEY,R_0233_0006__THE_R_0233_0007__SHIP,R_0233_0004__HAVE_R_0233_0005__SEEN,Z_0233_5002__UTTERANCE,R_0233_0012__SAID] :
( r_0233_0002__They(R_0233_0002__THEY)
& r_0233_0003__probably(R_0233_0003__PROBABLY)
& r_0233_0006__the_r_0233_0007__ship(R_0233_0006__THE_R_0233_0007__SHIP)
& r_0233_0011__Tance(R_0233_0011__TANCE)
& r_0233_0012__said(R_0233_0012__SAID)
& has_arg1(R_0233_0012__SAID,Z_0233_5002__UTTERANCE)
& z_0233_5002__utterance(Z_0233_5002__UTTERANCE)
& has_part1(Z_0233_5002__UTTERANCE,R_0233_0004__HAVE_R_0233_0005__SEEN)
& r_0233_0004__have_r_0233_0005__seen(R_0233_0004__HAVE_R_0233_0005__SEEN)
& has_rfl(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0006__THE_R_0233_0007__SHIP)
& has_arg1(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0006__THE_R_0233_0007__SHIP)
& has_arg0(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0002__THEY)
& has_nim(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0003__PROBABLY)
& has_arg0(R_0233_0012__SAID,R_0233_0011__TANCE) ) ).