136_a_loosechange
I noticed the ugly gap when she smiled at me saying, ‘I love London.’
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_136_A_LOOSECHANGE_30,R_136_11_SAYING,UTTERANCE_136_A_LOOSECHANGE_38,R_136_15_LOVE,R_136_16_LONDON,R_136_8_SMILED,R_136_7_SHE,R_136_1_I] :
( ( london(R_136_16_LONDON)
& she(R_136_7_SHE)
& i(R_136_1_I)
& z_136_a_loosechange_30(Z_136_A_LOOSECHANGE_30)
& conj1(Z_136_A_LOOSECHANGE_30,R_136_11_SAYING)
& saying(R_136_11_SAYING,R_136_7_SHE,UTTERANCE_136_A_LOOSECHANGE_38)
& utterance_136_a_loosechange_38(UTTERANCE_136_A_LOOSECHANGE_38)
& part1(UTTERANCE_136_A_LOOSECHANGE_38,R_136_15_LOVE)
& love(R_136_15_LOVE,R_136_7_SHE,R_136_16_LONDON)
& conj2(Z_136_A_LOOSECHANGE_30,R_136_8_SMILED)
& smiled(R_136_8_SMILED,R_136_7_SHE)
& at_clr27(R_136_8_SMILED,R_136_1_I) )
=> ? [R_136_2_NOTICED,R_136_3_THE_GAP,R_136_4_UGLY] :
( ugly(R_136_4_UGLY)
& noticed(R_136_2_NOTICED,R_136_1_I,R_136_3_THE_GAP)
& the_gap(R_136_3_THE_GAP)
& attrib10(R_136_3_THE_GAP,R_136_4_UGLY) ) ) ).
( (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))