( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ noticed;{notice})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ ugly;{ugly}))
                  (N gap;{gap}))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{LAYLOR} (PRO she;{she}))
                           (VBD;_Ipr_ smiled;{smile[at]})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP (PRO me;{I})))
                           (PP-SCON (IP-PPL2 (VAG;_Tr_ saying;{say})
                                             (PUNC ,)
                                             (PULQ <lquo>)
                                             (utterance-OB1 (IP-MAT (NP-SBJ;{LAYLOR} (PRO I;{I}))
                                                                    (VBP;_Tn_ love;{love})
                                                                    (NP-OB1 (NPR London;{London}))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 136_a_loosechange))

arc(r_0136_0002__noticed,r_0136_0001__I,arg0).
arc(r_0136_0002__noticed,r_0136_0003__the_r_0136_0005__gap,arg1).
arc(r_0136_0003__the_r_0136_0005__gap,r_0136_0004__ugly,attrib).
arc(r_0136_0006__when,r_0136_0002__noticed,scope).
arc(r_0136_0006__when,z_0136_5005,restriction).
arc(r_0136_0008__smiled_r_0136_0009__at,r_0136_0001__I,arg1).
arc(r_0136_0008__smiled_r_0136_0009__at,r_0136_0007__she,arg0).
arc(r_0136_0011__saying,r_0136_0007__she,arg0).
arc(r_0136_0011__saying,z_0136_5008__utterance,arg1).
arc(r_0136_0015__love,r_0136_0007__she,arg0).
arc(r_0136_0015__love,r_0136_0016__London,arg1).
arc(z_0136_5005,r_0136_0008__smiled_r_0136_0009__at,scope).
arc(z_0136_5005,r_0136_0011__saying,restriction).
arc(z_0136_5008__utterance,r_0136_0015__love,part1).

fof(formula,axiom,
    ! [Z_0136_5005,R_0136_0001__I,R_0136_0007__SHE,R_0136_0008__SMILED_R_0136_0009__AT,R_0136_0016__LONDON,R_0136_0015__LOVE,Z_0136_5008__UTTERANCE,R_0136_0011__SAYING] :
      ( ( r_0136_0001__I(R_0136_0001__I)
        & r_0136_0007__she(R_0136_0007__SHE)
        & r_0136_0016__London(R_0136_0016__LONDON)
        & z_0136_5005(Z_0136_5005)
        & has_conj1(Z_0136_5005,R_0136_0011__SAYING)
        & r_0136_0011__saying(R_0136_0011__SAYING)
        & has_arg1(R_0136_0011__SAYING,Z_0136_5008__UTTERANCE)
        & z_0136_5008__utterance(Z_0136_5008__UTTERANCE)
        & has_part1(Z_0136_5008__UTTERANCE,R_0136_0015__LOVE)
        & r_0136_0015__love(R_0136_0015__LOVE)
        & has_arg1(R_0136_0015__LOVE,R_0136_0016__LONDON)
        & has_arg0(R_0136_0015__LOVE,R_0136_0007__SHE)
        & has_arg0(R_0136_0011__SAYING,R_0136_0007__SHE)
        & has_conj2(Z_0136_5005,R_0136_0008__SMILED_R_0136_0009__AT)
        & r_0136_0008__smiled_r_0136_0009__at(R_0136_0008__SMILED_R_0136_0009__AT)
        & has_arg0(R_0136_0008__SMILED_R_0136_0009__AT,R_0136_0007__SHE)
        & has_arg1(R_0136_0008__SMILED_R_0136_0009__AT,R_0136_0001__I) )
     => ? [R_0136_0004__UGLY,R_0136_0003__THE_R_0136_0005__GAP,R_0136_0002__NOTICED] :
          ( r_0136_0004__ugly(R_0136_0004__UGLY)
          & ~ ( has_arg1(R_0136_0002__NOTICED,R_0136_0003__THE_R_0136_0005__GAP)
              & r_0136_0003__the_r_0136_0005__gap(R_0136_0003__THE_R_0136_0005__GAP)
              & has_attrib(R_0136_0003__THE_R_0136_0005__GAP,R_0136_0004__UGLY)
              & has_arg0(R_0136_0002__NOTICED,R_0136_0001__I) ) ) ) ).