( (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))

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__nim).
arc(r_0005_0007__sweats,z_0005_5006,arg0).
arc(r_0005_0010__pores,r_0005_0001__I,gen).
arc(z_0005_5001,r_0005_0002___apos_m,conj1).
arc(z_0005_5001,r_0005_0007__sweats,conj2).
arc(z_0005_5006,r_0005_0006__aloof,attrib).

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_0005_5006,R_0005_0007__SWEATS,Z_0005_5001] :
      ( 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_0005_5001(Z_0005_5001)
      & has_conj2(Z_0005_5001,R_0005_0007__SWEATS)
      & r_0005_0007__sweats(R_0005_0007__SWEATS)
      & has_arg0(R_0005_0007__SWEATS,Z_0005_5006)
      & z_0005_5006(Z_0005_5006)
      & has_attrib(Z_0005_5006,R_0005_0006__ALOOF)
      & has_r_0005_0008__from__nim(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_0005_5001,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) ) ).