arc(r_0114_0002__loved, r_0114_0001__He, arg0).
arc(r_0114_0002__loved, r_0114_0003__it, arg1).
arc(r_0114_0005__but, r_0114_0002__loved, conj1).
arc(r_0114_0005__but, r_0114_0007__had, conj2).
arc(r_0114_0007__had, r_0114_0006__he, arg0).
arc(r_0114_0007__had, r_0114_0008__a_r_0114_0009__girlfriend, arg1).
arc(r_0114_0007__had, r_0114_0011__England, r_0114_0010__in_nim31).

fof(formula,axiom,
    ? [R_0114_0001__HE,R_0114_0003__IT,R_0114_0002__LOVED,R_0114_0006__HE,R_0114_0008__A_R_0114_0009__GIRLFRIEND,R_0114_0011__ENGLAND,R_0114_0007__HAD,R_0114_0005__BUT] :
      ( r_0114_0001__He(R_0114_0001__HE)
      & r_0114_0003__it(R_0114_0003__IT)
      & r_0114_0006__he(R_0114_0006__HE)
      & r_0114_0008__a_r_0114_0009__girlfriend(R_0114_0008__A_R_0114_0009__GIRLFRIEND)
      & r_0114_0011__England(R_0114_0011__ENGLAND)
      & r_0114_0005__but(R_0114_0005__BUT)
      & has_conj2(R_0114_0005__BUT,R_0114_0007__HAD)
      & r_0114_0007__had(R_0114_0007__HAD)
      & has_r_0114_0010__in_nim31(R_0114_0007__HAD,R_0114_0011__ENGLAND)
      & has_arg1(R_0114_0007__HAD,R_0114_0008__A_R_0114_0009__GIRLFRIEND)
      & has_arg0(R_0114_0007__HAD,R_0114_0006__HE)
      & has_conj1(R_0114_0005__BUT,R_0114_0002__LOVED)
      & r_0114_0002__loved(R_0114_0002__LOVED)
      & has_arg1(R_0114_0002__LOVED,R_0114_0003__IT)
      & has_arg0(R_0114_0002__LOVED,R_0114_0001__HE) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{JAMES} (PRO He;{he}))
                      (VBD;_Tn_ loved;{love})
                      (NP-OB1;{LOSANGELES} (PRO it;{it})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{JAMES} (PRO he;{he}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1;{SARAH} (D a;{a})
                                             (N girlfriend;{girlfriend}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (NPR England;{England}))))))
          (PUNC .))
  (ID 114_a_ted_talk_11))