( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (N love;{love})
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN;{JAMES} (PRO;_genm_ his;{his}))
                          (N life;{life})))
                  (PUNC ,)
                  (PRN (NP;{SARAH} (NPR Sarah;{Sarah}))))
          (PUNC .))
  (ID 115_a_ted_talk_11))

arc(r_0115_0002__was,r_0115_0001__This,arg0).
arc(r_0115_0002__was,r_0115_0003__the_r_0115_0004__love,prd).
arc(r_0115_0003__the_r_0115_0004__love,r_0115_0007__life,r_0115_0005__of).
arc(r_0115_0007__life,r_0115_0006__his,gen).
arc(z_0115_5003,r_0115_0003__the_r_0115_0004__love,arg0).
arc(z_0115_5003,r_0115_0009__Sarah,prd).

fof(formula,axiom,
    ? [R_0115_0001__THIS,R_0115_0006__HIS,R_0115_0007__LIFE,R_0115_0003__THE_R_0115_0004__LOVE,R_0115_0002__WAS,R_0115_0009__SARAH,Z_0115_5003] :
      ( r_0115_0001__This(R_0115_0001__THIS)
      & r_0115_0006__his(R_0115_0006__HIS)
      & r_0115_0009__Sarah(R_0115_0009__SARAH)
      & z_0115_5003(Z_0115_5003)
      & has_prd(Z_0115_5003,R_0115_0009__SARAH)
      & has_arg0(Z_0115_5003,R_0115_0003__THE_R_0115_0004__LOVE)
      & r_0115_0003__the_r_0115_0004__love(R_0115_0003__THE_R_0115_0004__LOVE)
      & has_r_0115_0005__of(R_0115_0003__THE_R_0115_0004__LOVE,R_0115_0007__LIFE)
      & r_0115_0007__life(R_0115_0007__LIFE)
      & has_gen(R_0115_0007__LIFE,R_0115_0006__HIS)
      & r_0115_0002__was(R_0115_0002__WAS)
      & has_prd(R_0115_0002__WAS,R_0115_0003__THE_R_0115_0004__LOVE)
      & has_arg0(R_0115_0002__WAS,R_0115_0001__THIS) ) ).