154_a_stuck_japan
“Is that all you have?” I thought.
( (IP-MAT (PURQ <ldquo>)
(utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
(NP-SBJ (D that;{that}))
(NP-PRD (Q;_nphd_ all;{all})
(IP-REL (NP-OB1 *T*)
(NP-SBJ (PRO you;{you}))
(HVP;_Tn_ have;{have}))))
(PUNC ?)))
(PULQ <rdquo>)
(NP-SBJ (PRO I;{I}))
(VBD;_Tr_ thought;{think})
(PUNC .))
(ID 154_a_stuck_japan))
arc(r_0154_0002__Is,r_0154_0003__that,arg0).
arc(r_0154_0002__Is,z_0154_5007,prd).
arc(r_0154_0004__all__quant,r_0154_0002__Is,scope).
arc(r_0154_0004__all__quant,z_0154_5007,restriction).
arc(r_0154_0006__have,r_0154_0005__you,arg0).
arc(r_0154_0006__have,z_0154_5007,inv_arg1).
arc(r_0154_0010__thought,r_0154_0009__I,arg0).
arc(r_0154_0010__thought,z_0154_5002__utterance,arg1).
arc(z_0154_5002__utterance,r_0154_0004__all__quant,part1).
fof(formula,axiom,
? [R_0154_0009__I,Z_0154_5002__UTTERANCE,R_0154_0010__THOUGHT] :
( r_0154_0009__I(R_0154_0009__I)
& r_0154_0010__thought(R_0154_0010__THOUGHT)
& has_arg1(R_0154_0010__THOUGHT,Z_0154_5002__UTTERANCE)
& z_0154_5002__utterance(Z_0154_5002__UTTERANCE)
& ! [Z_0154_5007,R_0154_0005__YOU,R_0154_0006__HAVE] :
( ( r_0154_0005__you(R_0154_0005__YOU)
& z_0154_5007(Z_0154_5007)
& has_inv_arg1(Z_0154_5007,R_0154_0006__HAVE)
& r_0154_0006__have(R_0154_0006__HAVE)
& has_arg0(R_0154_0006__HAVE,R_0154_0005__YOU) )
=> ? [R_0154_0003__THAT,R_0154_0002__IS] :
( r_0154_0003__that(R_0154_0003__THAT)
& r_0154_0002__Is(R_0154_0002__IS)
& has_prd(R_0154_0002__IS,Z_0154_5007)
& has_arg0(R_0154_0002__IS,R_0154_0003__THAT) ) )
& has_arg0(R_0154_0010__THOUGHT,R_0154_0009__I) ) ).