( (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))

arc(r_0065_0002__did_r_0065_0004__have,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_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,nim).
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_0065_0009__YOU,R_0065_0011__THE_R_0065_0012__BIT,R_0065_0010__KNOW,R_0065_0008__BUT,R_0065_0014__THE_R_0065_0015__THREE_R_0065_0016__KINGS,R_0065_0017__COME_R_0065_0018__IN] :
      ( r_0065_0009__you(R_0065_0009__YOU)
      & r_0065_0011__the_r_0065_0012__bit(R_0065_0011__THE_R_0065_0012__BIT)
      & r_0065_0014__the_r_0065_0015__three_r_0065_0016__kings(R_0065_0014__THE_R_0065_0015__THREE_R_0065_0016__KINGS)
      & r_0065_0017__come_r_0065_0018__in(R_0065_0017__COME_R_0065_0018__IN)
      & has_arg0(R_0065_0017__COME_R_0065_0018__IN,R_0065_0014__THE_R_0065_0015__THREE_R_0065_0016__KINGS)
      & has_nim(R_0065_0017__COME_R_0065_0018__IN,R_0065_0011__THE_R_0065_0012__BIT)
      & r_0065_0008__but(R_0065_0008__BUT)
      & has_conj2(R_0065_0008__BUT,R_0065_0010__KNOW)
      & r_0065_0010__know(R_0065_0010__KNOW)
      & has_arg1(R_0065_0010__KNOW,R_0065_0011__THE_R_0065_0012__BIT)
      & has_arg0(R_0065_0010__KNOW,R_0065_0009__YOU)
      & has_conj1(R_0065_0008__BUT,R_0065_0003__N_APOS_T)
      & ~ ? [R_0065_0001__HE,R_0065_0002__DID_R_0065_0004__HAVE_R_0065_0006__SPEAK] :
            ( r_0065_0001__He(R_0065_0001__HE)
            & r_0065_0002__did_r_0065_0004__have_r_0065_0006__speak(R_0065_0002__DID_R_0065_0004__HAVE_R_0065_0006__SPEAK)
            & has_arg0(R_0065_0002__DID_R_0065_0004__HAVE_R_0065_0006__SPEAK,R_0065_0001__HE) ) ) ).