arc(r_0005_0002___apos_m, r_0005_0001__I, arg0).
arc(r_0005_0002___apos_m, r_0005_0003__a_r_0005_0004__Londoner, prd).
arc(r_0005_0007__sweats, r_0005_0010__pores, r_0005_0008__from_nim27).
arc(r_0005_0007__sweats, z_000_5_a_loosechange_18, arg0).
arc(r_0005_0010__pores, r_0005_0001__I, gen).
arc(z_000_5_a_loosechange_18, r_0005_0006__aloof, attrib19).
arc(z_000_5_a_loosechange_2, r_0005_0002___apos_m, conj1).
arc(z_000_5_a_loosechange_2, r_0005_0007__sweats, conj2).

fof(formula,axiom,
    ? [R_0005_0001__I,R_0005_0003__A_R_0005_0004__LONDONER,R_0005_0002___APOS_M,R_0005_0010__PORES,R_0005_0006__ALOOF,Z_000_5_A_LOOSECHANGE_18,R_0005_0007__SWEATS,Z_000_5_A_LOOSECHANGE_2] :
      ( r_0005_0001__I(R_0005_0001__I)
      & r_0005_0003__a_r_0005_0004__Londoner(R_0005_0003__A_R_0005_0004__LONDONER)
      & r_0005_0006__aloof(R_0005_0006__ALOOF)
      & z_000_5_a_loosechange_2(Z_000_5_A_LOOSECHANGE_2)
      & has_conj2(Z_000_5_A_LOOSECHANGE_2,R_0005_0007__SWEATS)
      & r_0005_0007__sweats(R_0005_0007__SWEATS)
      & has_arg0(R_0005_0007__SWEATS,Z_000_5_A_LOOSECHANGE_18)
      & z_000_5_a_loosechange_18(Z_000_5_A_LOOSECHANGE_18)
      & has_attrib19(Z_000_5_A_LOOSECHANGE_18,R_0005_0006__ALOOF)
      & has_r_0005_0008__from_nim27(R_0005_0007__SWEATS,R_0005_0010__PORES)
      & r_0005_0010__pores(R_0005_0010__PORES)
      & has_gen(R_0005_0010__PORES,R_0005_0001__I)
      & has_conj1(Z_000_5_A_LOOSECHANGE_2,R_0005_0002___APOS_M)
      & r_0005_0002___apos_m(R_0005_0002___APOS_M)
      & has_prd(R_0005_0002___APOS_M,R_0005_0003__A_R_0005_0004__LONDONER)
      & has_arg0(R_0005_0002___APOS_M,R_0005_0001__I) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (BEP;_Ln_ <apos>m;{be})
                      (NP-PRD (D a;{a})
                              (N Londoner;{londoner})))
                (PUNC <hyphen>)
                (CONJP (ILYR (NP-SBJ (ADJP (ADJ aloof;{aloof})))
                             (VBP;_Ipr_ sweats;{sweat[from]})
                             (PP-NIM (P-ROLE from;{from})
                                     (NP (NP-GEN (PRO;_genm_ my;{my}))
                                         (N pores;{pore}))))))
          (PUNC .))
  (ID 5_a_loosechange))