15_a_osaka_statement
I'll see you when I see you.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ <apos>ll;{will})
(IP-INF-CAT (VB;_Tn_ see;{see})
(NP-OB1 (PRO you;{you})))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBP;_Tn_ see;{see})
(NP-OB1 (PRO you;{you}))))
(PUNC .))
(ID 15_a_osaka_statement))
arc(r_0015_0002___apos_ll,r_0015_0003__see,scope).
arc(r_0015_0003__see,r_0015_0001__I,arg0).
arc(r_0015_0003__see,r_0015_0004__you,arg1).
arc(r_0015_0005__when,r_0015_0002___apos_ll,scope).
arc(r_0015_0005__when,r_0015_0007__see,restriction).
arc(r_0015_0007__see,r_0015_0001__I,arg0).
arc(r_0015_0007__see,r_0015_0004__you,arg1).
fof(formula,axiom,
! [R_0015_0007__SEE,R_0015_0001__I,R_0015_0004__YOU] :
( ( r_0015_0001__I(R_0015_0001__I)
& r_0015_0004__you(R_0015_0004__YOU)
& r_0015_0007__see(R_0015_0007__SEE)
& has_arg1(R_0015_0007__SEE,R_0015_0004__YOU)
& has_arg0(R_0015_0007__SEE,R_0015_0001__I) )
=> ? [R_0015_0002___APOS_LL_R_0015_0003__SEE] :
( r_0015_0002___apos_ll_r_0015_0003__see(R_0015_0002___APOS_LL_R_0015_0003__SEE)
& has_arg1(R_0015_0002___APOS_LL_R_0015_0003__SEE,R_0015_0004__YOU)
& has_arg0(R_0015_0002___APOS_LL_R_0015_0003__SEE,R_0015_0001__I) ) ) ).