139_a_ted_talk_11
And then we focus on their heads.
arc(r_0139_0001__And_r_0139_0004__focus, r_0139_0002__then, nim4).
arc(r_0139_0001__And_r_0139_0004__focus, r_0139_0003__we, arg0).
arc(r_0139_0001__And_r_0139_0004__focus, r_0139_0007__heads, r_0139_0005__on_clr15).
arc(r_0139_0007__heads, r_0139_0006__their, gen).
fof(formula,axiom,
? [R_139_1_AND_FOCUS,R_139_3_WE,R_139_2_THEN,R_139_7_HEADS,R_139_6_THEIR] :
( we(R_139_3_WE)
& then(R_139_2_THEN)
& their(R_139_6_THEIR)
& and_focus(R_139_1_AND_FOCUS,R_139_3_WE)
& nim4(R_139_1_AND_FOCUS,R_139_2_THEN)
& on_clr15(R_139_1_AND_FOCUS,R_139_7_HEADS)
& heads(R_139_7_HEADS)
& gen(R_139_7_HEADS,R_139_6_THEIR) ) ).
( (IP-MAT (CONJ;_cl_ And;{and})
(ADVP-NIM (ADV then;{then}))
(NP-SBJ (PRO we;{we}))
(VBP;_Ipr_ focus;{focus[on]})
(PP-CLR (P-ROLE on;{on})
(NP (NP-GEN (PRO;_genm_ their;{their}))
(NS heads;{head})))
(PUNC .))
(ID 139_a_ted_talk_11))