( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{JAMES} (NP-GEN (PRO;_genm_ my;{my}))
                                           (N son;{son}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (NUM four;{four})
                                   (PP (P-ROLE in;{in})
                                       (NP (NPR England;{England}))))))
          (PUNC --))
  (ID 53_a_ted_talk_11))

arc(r_0053_0001__When,r_0053_0004__was,restriction).
arc(r_0053_0001__When,z_0053_5007,scope).
arc(r_0053_0003__son,r_0053_0002__my,gen).
arc(r_0053_0004__was,r_0053_0003__son,arg0).
arc(r_0053_0004__was,r_0053_0005__four,prd).
arc(r_0053_0005__four,r_0053_0007__England,r_0053_0006__in).
arc(z_0053_5007,z_0053_5002,arg0).

fof(formula,axiom,
    ! [R_0053_0004__WAS,R_0053_0002__MY,R_0053_0003__SON,R_0053_0007__ENGLAND,R_0053_0005__FOUR] :
      ( ( r_0053_0002__my(R_0053_0002__MY)
        & r_0053_0007__England(R_0053_0007__ENGLAND)
        & r_0053_0004__was(R_0053_0004__WAS)
        & has_prd(R_0053_0004__WAS,R_0053_0005__FOUR)
        & r_0053_0005__four(R_0053_0005__FOUR)
        & has_r_0053_0006__in(R_0053_0005__FOUR,R_0053_0007__ENGLAND)
        & has_arg0(R_0053_0004__WAS,R_0053_0003__SON)
        & r_0053_0003__son(R_0053_0003__SON)
        & has_gen(R_0053_0003__SON,R_0053_0002__MY) )
     => ? [Z_0053_5002,Z_0053_5007] :
          ( z_0053_5002(Z_0053_5002)
          & z_0053_5007(Z_0053_5007)
          & has_arg0(Z_0053_5007,Z_0053_5002) ) ) ).