59_a_lob_n02
‘You'll be telling me next that you spent all those hours together on Balicou without his kissing you.’
( (IP-MAT (PULQ <lquo>)
(NP-SBJ;{BERYL} (PRO You;{you}))
(MD;_cat_Vi_ <apos>ll;{will})
(IP-INF-CAT (BE;_cat_Vg_ be;{be})
(IP-PPL-CAT (VAG;__ telling;{tell})
(NP-OB2;{PIERS} (PRO me;{I}))
(ADVP-NIM (ADV next;{next}))
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{BERYL} (PRO you;{you}))
(VBD;__ spent;{spend})
(NP-OB1 (Q;_nphd_ all;{all})
(NLYR (D those;{those})
(NS hours;{hour})))
(ADVP-NIM (ADV together;{together}))
(PP-NIM (P-ROLE on;{on})
(NP (NPR Balicou;{Balicou})))
(PP-NIM (P-ROLE without;{without})
(NP (NP-GEN;{FORREST} (PRO;_genm_ his;{his}))
(IP-PPL (VAG;__ kissing;{kiss})
(NP-OB1;{BERYL} (PRO you;{you})))))))))
(PUNC .)
(PURQ <rquo>))
(ID 59_a_lob_n02))
arc(r_0059_0003___apos_ll,r_0059_0004__be,scope).
arc(r_0059_0004__be,r_0059_0005__telling,scope).
arc(r_0059_0005__telling,r_0059_0002__You,arg0).
arc(r_0059_0005__telling,r_0059_0006__me,arg2).
arc(r_0059_0005__telling,r_0059_0007__next,nim).
arc(r_0059_0005__telling,r_0059_0010__spent,arg1).
arc(r_0059_0010__spent,r_0059_0002__You,arg0).
arc(r_0059_0010__spent,r_0059_0014__together,nim).
arc(r_0059_0010__spent,r_0059_0016__Balicou,r_0059_0015__on__nim).
arc(r_0059_0010__spent,z_0059_5004,arg1).
arc(r_0059_0010__spent,z_0059_5012,r_0059_0017__without__nim).
arc(r_0059_0011__all__quant,r_0059_0003___apos_ll,scope).
arc(r_0059_0011__all__quant,z_0059_5004,restriction).
arc(r_0059_0019__kissing,r_0059_0002__You,arg1).
arc(r_0059_0019__kissing,z_0059_5012,inv_arg0).
arc(z_0059_5004,r_0059_0012__those_r_0059_0013__hours,nim).
arc(z_0059_5012,r_0059_0018__his,gen).
fof(formula,axiom,
! [Z_0059_5004,R_0059_0012__THOSE_R_0059_0013__HOURS] :
( ( r_0059_0012__those_r_0059_0013__hours(R_0059_0012__THOSE_R_0059_0013__HOURS)
& z_0059_5004(Z_0059_5004)
& has_nim(Z_0059_5004,R_0059_0012__THOSE_R_0059_0013__HOURS) )
=> ? [R_0059_0002__YOU,R_0059_0006__ME,R_0059_0007__NEXT,R_0059_0014__TOGETHER,R_0059_0016__BALICOU,R_0059_0019__KISSING,R_0059_0018__HIS,Z_0059_5012,R_0059_0010__SPENT,R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING] :
( r_0059_0002__You(R_0059_0002__YOU)
& r_0059_0006__me(R_0059_0006__ME)
& r_0059_0007__next(R_0059_0007__NEXT)
& r_0059_0014__together(R_0059_0014__TOGETHER)
& r_0059_0016__Balicou(R_0059_0016__BALICOU)
& r_0059_0018__his(R_0059_0018__HIS)
& r_0059_0003___apos_ll_r_0059_0004__be_r_0059_0005__telling(R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING)
& has_arg1(R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING,R_0059_0010__SPENT)
& r_0059_0010__spent(R_0059_0010__SPENT)
& has_r_0059_0017__without__nim(R_0059_0010__SPENT,Z_0059_5012)
& z_0059_5012(Z_0059_5012)
& has_gen(Z_0059_5012,R_0059_0018__HIS)
& has_inv_arg0(Z_0059_5012,R_0059_0019__KISSING)
& r_0059_0019__kissing(R_0059_0019__KISSING)
& has_arg1(R_0059_0019__KISSING,R_0059_0002__YOU)
& has_arg1(R_0059_0010__SPENT,Z_0059_5004)
& has_r_0059_0015__on__nim(R_0059_0010__SPENT,R_0059_0016__BALICOU)
& has_nim(R_0059_0010__SPENT,R_0059_0014__TOGETHER)
& has_arg0(R_0059_0010__SPENT,R_0059_0002__YOU)
& has_nim(R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING,R_0059_0007__NEXT)
& has_arg2(R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING,R_0059_0006__ME)
& has_arg0(R_0059_0003___APOS_LL_R_0059_0004__BE_R_0059_0005__TELLING,R_0059_0002__YOU) ) ) ).