65_a_ted_talk_11
He didn't have to speak, but you know the bit where the three kings come in?
arc(r_0065_0002__did_r_0065_0004__have, r_0065_0005__to_r_0065_0006__speak, scope).
arc(r_0065_0003__n_apos_t, r_0065_0002__did_r_0065_0004__have, keep_scope).
arc(r_0065_0005__to_r_0065_0006__speak, r_0065_0001__He, arg0).
arc(r_0065_0008__but, r_0065_0003__n_apos_t, conj1).
arc(r_0065_0008__but, r_0065_0010__know, conj2).
arc(r_0065_0010__know, r_0065_0009__you, arg0).
arc(r_0065_0010__know, r_0065_0011__the_r_0065_0012__bit, arg1).
arc(r_0065_0017__come_r_0065_0018__in, r_0065_0011__the_r_0065_0012__bit, nim35).
arc(r_0065_0017__come_r_0065_0018__in, r_0065_0014__the_r_0065_0015__three_r_0065_0016__kings, arg0).
fof(formula,axiom,
? [R_65_8_BUT,R_65_10_KNOW,R_65_9_YOU,R_65_17_COME_IN,R_65_14_THE_THREE_KINGS,R_65_11_THE_BIT] :
( you(R_65_9_YOU)
& the_three_kings(R_65_14_THE_THREE_KINGS)
& the_bit(R_65_11_THE_BIT)
& but(R_65_8_BUT)
& conj1(R_65_8_BUT,R_65_3_N_APOS_T)
& ~ ? [R_65_2_DID_HAVE_TO_SPEAK,R_65_1_HE] :
( he(R_65_1_HE)
& did_have_to_speak(R_65_2_DID_HAVE_TO_SPEAK,R_65_1_HE) )
& conj2(R_65_8_BUT,R_65_10_KNOW)
& know(R_65_10_KNOW,R_65_9_YOU,R_65_11_THE_BIT)
& come_in(R_65_17_COME_IN,R_65_14_THE_THREE_KINGS)
& nim35(R_65_17_COME_IN,R_65_11_THE_BIT) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{JAMES} (PRO He;{he}))
(DOD did;{do})
(NEG;_clitic_ n<apos>t;{not})
(HV;_cat_Vt_ have;{have})
(IP-INF-CAT (TO to;{to})
(VB;_I_ speak;{speak})))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (PRO you;{you}))
(VBP;_Tn_ know;{know})
(NP-OB1 (D the;{the})
(N bit;{bit})
(IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{KING1_KING2_KING3} (D the;{the})
(NUM three;{three})
(NS kings;{king}))
(VBP;_Ip_ come;{come[in]})
(RP in;{in}))))))
(PUNC ?))
(ID 65_a_ted_talk_11))