( (IP-MAT (NP-SBJ;{JOHN} (NPR John;{John}))
          (VBD;_Cn.t_ persuaded;{persuade})
          (NP-OB1;{BULLDOG} (D the;{the})
                            (N bulldog;{bulldog}))
          (IP-INF-PRD (TO to;{to})
                      (VB;_phr_Vpr_ get;{get[off]})
                      (PP-CLR (P-ROLE off;{off})
                              (NP;{JOHN} (PRO him;{he}))))
          (PUNC .))
  (ID 10_a_stories_09_m12))

arc(r_0010_0002__persuaded,r_0010_0001__John,arg0).
arc(r_0010_0002__persuaded,r_0010_0003__the_r_0010_0004__bulldog,arg1).
arc(r_0010_0002__persuaded,r_0010_0006__get,prd).
arc(r_0010_0006__get,r_0010_0001__John,r_0010_0007__off__clr).
arc(r_0010_0006__get,z_0010_5004,arg0).

fof(formula,axiom,
    ? [R_0010_0001__JOHN,R_0010_0003__THE_R_0010_0004__BULLDOG,Z_0010_5004,R_0010_0006__GET,R_0010_0002__PERSUADED] :
      ( r_0010_0001__John(R_0010_0001__JOHN)
      & r_0010_0003__the_r_0010_0004__bulldog(R_0010_0003__THE_R_0010_0004__BULLDOG)
      & z_0010_5004(Z_0010_5004)
      & r_0010_0002__persuaded(R_0010_0002__PERSUADED)
      & has_prd(R_0010_0002__PERSUADED,R_0010_0006__GET)
      & r_0010_0006__get(R_0010_0006__GET)
      & has_arg0(R_0010_0006__GET,Z_0010_5004)
      & has_r_0010_0007__off__clr(R_0010_0006__GET,R_0010_0001__JOHN)
      & has_arg1(R_0010_0002__PERSUADED,R_0010_0003__THE_R_0010_0004__BULLDOG)
      & has_arg0(R_0010_0002__PERSUADED,R_0010_0001__JOHN) ) ).