6_a_sunglasses_story
Take off your sunglasses and look at them.
arc(r_0006_0001__Take_r_0006_0002__off, r_0006_0004__sunglasses, arg1).
arc(r_0006_0001__Take_r_0006_0002__off, z_000_6_a_sunglasses_story_1, arg0).
arc(r_0006_0004__sunglasses, r_0006_0003__your, gen).
arc(r_0006_0005__and, r_0006_0001__Take_r_0006_0002__off, conj1).
arc(r_0006_0005__and, r_0006_0006__look, conj2).
arc(r_0006_0006__look, r_0006_0004__sunglasses, r_0006_0007__at_clr23).
arc(r_0006_0006__look, z_000_6_a_sunglasses_story_1, arg0).
fof(formula,axiom,
? [R_6_5_AND,R_6_1_TAKE_OFF,R_6_6_LOOK,Z_6_A_SUNGLASSES_STORY_1,R_6_4_SUNGLASSES,R_6_3_YOUR] :
( your(R_6_3_YOUR)
& and(R_6_5_AND)
& conj1(R_6_5_AND,R_6_1_TAKE_OFF)
& take_off(R_6_1_TAKE_OFF,Z_6_A_SUNGLASSES_STORY_1,R_6_4_SUNGLASSES)
& sunglasses(R_6_4_SUNGLASSES)
& gen(R_6_4_SUNGLASSES,R_6_3_YOUR)
& conj2(R_6_5_AND,R_6_6_LOOK)
& look(R_6_6_LOOK,Z_6_A_SUNGLASSES_STORY_1)
& at_clr23(R_6_6_LOOK,R_6_4_SUNGLASSES) ) ).
( (IP-IMP (ILYR (ILYR (VB;_phr_Vn<=>p_ Take;{take[off]})
(RP off;{off})
(NP-OB1;{SUNGLASSES} (NP-GEN (PRO;_genm_ your;{your}))
(NS sunglasses;{sunglass})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Ipr_ look;{look[at]})
(PP-CLR (P-ROLE at;{at})
(NP;{SUNGLASSES} (PRO them;{they}))))))
(PUNC .))
(ID 6_a_sunglasses_story))