5_a_ted_talk_11
In fact, I'm leaving.
arc(r_0005_0004___apos_m, r_0005_0001__In_fact, nim2).
arc(r_0005_0004___apos_m, r_0005_0005__leaving, scope).
arc(r_0005_0005__leaving, r_0005_0003__I, arg0).
fof(formula,axiom,
? [R_5_4__APOS_M_LEAVING,R_5_3_I,R_5_1_IN_FACT] :
( i(R_5_3_I)
& in_fact(R_5_1_IN_FACT)
& _apos_m_leaving(R_5_4__APOS_M_LEAVING,R_5_3_I)
& nim2(R_5_4__APOS_M_LEAVING,R_5_1_IN_FACT) ) ).
( (IP-MAT (ADVP-NIM (ADV In_fact;{in_fact}))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(BEP;_cat_Vg_ <apos>m;{be})
(IP-PPL-CAT (VAG;_I_ leaving;{leave}))
(PUNC .))
(ID 5_a_ted_talk_11))