61_a_loosechange
‘Look, let me buy us both a cup of tea,’ I said.
( (IP-MAT (PULQ <lquo>)
(utterance-OB1 (IP-IMP (REACT Look)
(PUNC ,)
(VB;_Cn.i_ let;{let})
(NP-OB1 (PRO me;{I}))
(IP-INF-PRD (VB;_Dn.n_ buy;{buy})
(NP-OB2 (PRO us;{we}))
(ADVP-NIM (ADV both;{both}))
(NP-OB1 (D a;{a})
(N cup;{cup})
(PP (P-ROLE of;{of})
(NP (N tea;{tea})))))))
(PUNC ,)
(PURQ <rquo>)
(NP-SBJ (PRO I;{I}))
(VBD;_Tr_ said;{say})
(PUNC .))
(ID 61_a_loosechange))
arc(r_0061_0004__let,r_0061_0005__me,arg1).
arc(r_0061_0004__let,r_0061_0006__buy,prd).
arc(r_0061_0004__let,z_0061_5004,arg0).
arc(r_0061_0006__buy,r_0061_0007__us,arg2).
arc(r_0061_0006__buy,r_0061_0008__both,nim).
arc(r_0061_0006__buy,r_0061_0009__a_r_0061_0010__cup,arg1).
arc(r_0061_0006__buy,z_0061_5007,arg0).
arc(r_0061_0009__a_r_0061_0010__cup,r_0061_0012__tea,r_0061_0011__of).
arc(r_0061_0016__said,r_0061_0005__me,arg0).
arc(r_0061_0016__said,z_0061_5002__utterance,arg1).
arc(z_0061_5002__utterance,r_0061_0004__let,part1).
fof(formula,axiom,
? [R_0061_0005__ME,R_0061_0007__US,R_0061_0008__BOTH,R_0061_0012__TEA,R_0061_0009__A_R_0061_0010__CUP,Z_0061_5007,R_0061_0006__BUY,Z_0061_5004,R_0061_0004__LET,Z_0061_5002__UTTERANCE,R_0061_0016__SAID] :
( r_0061_0005__me(R_0061_0005__ME)
& r_0061_0007__us(R_0061_0007__US)
& r_0061_0008__both(R_0061_0008__BOTH)
& r_0061_0012__tea(R_0061_0012__TEA)
& z_0061_5004(Z_0061_5004)
& z_0061_5007(Z_0061_5007)
& r_0061_0016__said(R_0061_0016__SAID)
& has_arg1(R_0061_0016__SAID,Z_0061_5002__UTTERANCE)
& z_0061_5002__utterance(Z_0061_5002__UTTERANCE)
& has_part1(Z_0061_5002__UTTERANCE,R_0061_0004__LET)
& r_0061_0004__let(R_0061_0004__LET)
& has_arg0(R_0061_0004__LET,Z_0061_5004)
& has_prd(R_0061_0004__LET,R_0061_0006__BUY)
& r_0061_0006__buy(R_0061_0006__BUY)
& has_arg0(R_0061_0006__BUY,Z_0061_5007)
& has_arg1(R_0061_0006__BUY,R_0061_0009__A_R_0061_0010__CUP)
& r_0061_0009__a_r_0061_0010__cup(R_0061_0009__A_R_0061_0010__CUP)
& has_r_0061_0011__of(R_0061_0009__A_R_0061_0010__CUP,R_0061_0012__TEA)
& has_nim(R_0061_0006__BUY,R_0061_0008__BOTH)
& has_arg2(R_0061_0006__BUY,R_0061_0007__US)
& has_arg1(R_0061_0004__LET,R_0061_0005__ME)
& has_arg0(R_0061_0016__SAID,R_0061_0005__ME) ) ).