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

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_0001__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__nim).

fof(formula,axiom,
    ? [R_0114_0001__HE,R_0114_0003__IT,R_0114_0002__LOVED,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_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__nim(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_0001__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) ) ).