( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BEP;_Ln_ <apos>m;{be})
          (NP-PRD (D a;{a})
                  (N Londoner;{londoner}))
          (PUNC .))
  (ID 3_a_loosechange))

arc(r_0003_0002___apos_m,r_0003_0001__I,arg0).
arc(r_0003_0002___apos_m,r_0003_0003__a_r_0003_0004__Londoner,prd).

fof(formula,axiom,
    ? [R_0003_0001__I,R_0003_0003__A_R_0003_0004__LONDONER,R_0003_0002___APOS_M] :
      ( r_0003_0001__I(R_0003_0001__I)
      & r_0003_0003__a_r_0003_0004__Londoner(R_0003_0003__A_R_0003_0004__LONDONER)
      & r_0003_0002___apos_m(R_0003_0002___APOS_M)
      & has_prd(R_0003_0002___APOS_M,R_0003_0003__A_R_0003_0004__LONDONER)
      & has_arg0(R_0003_0002___APOS_M,R_0003_0001__I) ) ).