5_a_ted_talk_11
In fact, I'm leaving.
( (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))
arc(r_0005_0004___apos_m,r_0005_0001__In_fact,nim).
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_0005_0001__IN_FACT,R_0005_0003__I,R_0005_0004___APOS_M_R_0005_0005__LEAVING] :
( r_0005_0001__In_fact(R_0005_0001__IN_FACT)
& r_0005_0003__I(R_0005_0003__I)
& r_0005_0004___apos_m_r_0005_0005__leaving(R_0005_0004___APOS_M_R_0005_0005__LEAVING)
& has_arg0(R_0005_0004___APOS_M_R_0005_0005__LEAVING,R_0005_0003__I)
& has_nim(R_0005_0004___APOS_M_R_0005_0005__LEAVING,R_0005_0001__IN_FACT) ) ).