173_a_ted_talk_11
And I think we can't afford to go on that way.
( (IP-MAT (CONJ;_cl_ And;{and})
(NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO we;{we}))
(MD;_cat_Vi_ ca;{can})
(NEG;_clitic_ n<apos>t;{not})
(IP-INF-CAT (VB;_Tt_ afford;{afford})
(IP-INF-OB1 (TO to;{to})
(VB;_Ipr_ go;{go[on]})
(PP-CLR (P-ROLE on;{on})
(NP (D that;{that})
(N way;{way})))))))
(PUNC .))
(ID 173_a_ted_talk_11))
arc(r_0173_0003__think,r_0173_0002__I,arg0).
arc(r_0173_0003__think,r_0173_0006__n_apos_t,arg1).
arc(r_0173_0005__ca,r_0173_0007__afford,scope).
arc(r_0173_0006__n_apos_t,r_0173_0005__ca,keep_scope).
arc(r_0173_0007__afford,r_0173_0004__we,arg0).
arc(r_0173_0007__afford,r_0173_0009__go_r_0173_0010__on,arg1).
arc(r_0173_0009__go_r_0173_0010__on,r_0173_0004__we,arg0).
arc(r_0173_0009__go_r_0173_0010__on,r_0173_0011__that_r_0173_0012__way,arg1).
fof(formula,axiom,
? [R_0173_0002__I,R_0173_0003__THINK] :
( r_0173_0002__I(R_0173_0002__I)
& r_0173_0003__think(R_0173_0003__THINK)
& has_arg1(R_0173_0003__THINK,R_0173_0006__N_APOS_T)
& ~ ? [R_0173_0004__WE,R_0173_0011__THAT_R_0173_0012__WAY,R_0173_0009__GO_R_0173_0010__ON,R_0173_0005__CA_R_0173_0007__AFFORD] :
( r_0173_0004__we(R_0173_0004__WE)
& r_0173_0011__that_r_0173_0012__way(R_0173_0011__THAT_R_0173_0012__WAY)
& r_0173_0005__ca_r_0173_0007__afford(R_0173_0005__CA_R_0173_0007__AFFORD)
& has_arg1(R_0173_0005__CA_R_0173_0007__AFFORD,R_0173_0009__GO_R_0173_0010__ON)
& r_0173_0009__go_r_0173_0010__on(R_0173_0009__GO_R_0173_0010__ON)
& has_arg1(R_0173_0009__GO_R_0173_0010__ON,R_0173_0011__THAT_R_0173_0012__WAY)
& has_arg0(R_0173_0009__GO_R_0173_0010__ON,R_0173_0004__WE)
& has_arg0(R_0173_0005__CA_R_0173_0007__AFFORD,R_0173_0004__WE) )
& has_arg0(R_0173_0003__THINK,R_0173_0002__I) ) ).