arc(utterance_136_a_loosechange_38, r_0136_0015__love, part1).
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, attrib10).
arc(r_0136_0006__when, r_0136_0002__noticed, scope).
arc(r_0136_0006__when, z_000_136_a_loosechange_30, restriction).
arc(r_0136_0008__smiled, r_0136_0001__I, r_0136_0009__at_clr27).
arc(r_0136_0008__smiled, r_0136_0007__she, arg0).
arc(r_0136_0011__saying, utterance_136_a_loosechange_38, arg1).
arc(r_0136_0011__saying, r_0136_0007__she, arg0).
arc(r_0136_0015__love, r_0136_0007__she, arg0).
arc(r_0136_0015__love, r_0136_0016__London, arg1).
arc(z_000_136_a_loosechange_30, r_0136_0008__smiled, scope).
arc(z_000_136_a_loosechange_30, r_0136_0011__saying, restriction).

fof(formula,axiom,
    ! [Z_000_136_A_LOOSECHANGE_30,R_0136_0001__I,R_0136_0007__SHE,R_0136_0008__SMILED,R_0136_0016__LONDON,R_0136_0015__LOVE,UTTERANCE_136_A_LOOSECHANGE_38,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_000_136_a_loosechange_30(Z_000_136_A_LOOSECHANGE_30)
        & has_conj1(Z_000_136_A_LOOSECHANGE_30,R_0136_0011__SAYING)
        & r_0136_0011__saying(R_0136_0011__SAYING)
        & has_arg0(R_0136_0011__SAYING,R_0136_0007__SHE)
        & has_arg1(R_0136_0011__SAYING,UTTERANCE_136_A_LOOSECHANGE_38)
        & utterance_136_a_loosechange_38(UTTERANCE_136_A_LOOSECHANGE_38)
        & has_part1(UTTERANCE_136_A_LOOSECHANGE_38,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_conj2(Z_000_136_A_LOOSECHANGE_30,R_0136_0008__SMILED)
        & r_0136_0008__smiled(R_0136_0008__SMILED)
        & has_arg0(R_0136_0008__SMILED,R_0136_0007__SHE)
        & has_r_0136_0009__at_clr27(R_0136_0008__SMILED,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_attrib10(R_0136_0003__THE_R_0136_0005__GAP,R_0136_0004__UGLY)
              & has_arg0(R_0136_0002__NOTICED,R_0136_0001__I) ) ) ) ).

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