6_a_sunglasses_story
Take off your sunglasses and look at them.
( (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))
arc(r_0006_0001__Take_r_0006_0002__off,r_0006_0004__sunglasses,arg1).
arc(r_0006_0001__Take_r_0006_0002__off,z_0006_5002,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_r_0006_0007__at,conj2).
arc(r_0006_0006__look_r_0006_0007__at,r_0006_0004__sunglasses,arg1).
arc(r_0006_0006__look_r_0006_0007__at,z_0006_5002,arg0).
fof(formula,axiom,
? [R_0006_0003__YOUR,R_0006_0004__SUNGLASSES,Z_0006_5002,R_0006_0001__TAKE_R_0006_0002__OFF,R_0006_0006__LOOK_R_0006_0007__AT,R_0006_0005__AND] :
( r_0006_0003__your(R_0006_0003__YOUR)
& z_0006_5002(Z_0006_5002)
& r_0006_0005__and(R_0006_0005__AND)
& has_conj2(R_0006_0005__AND,R_0006_0006__LOOK_R_0006_0007__AT)
& r_0006_0006__look_r_0006_0007__at(R_0006_0006__LOOK_R_0006_0007__AT)
& has_arg0(R_0006_0006__LOOK_R_0006_0007__AT,Z_0006_5002)
& has_arg1(R_0006_0006__LOOK_R_0006_0007__AT,R_0006_0004__SUNGLASSES)
& r_0006_0004__sunglasses(R_0006_0004__SUNGLASSES)
& has_gen(R_0006_0004__SUNGLASSES,R_0006_0003__YOUR)
& has_conj1(R_0006_0005__AND,R_0006_0001__TAKE_R_0006_0002__OFF)
& r_0006_0001__Take_r_0006_0002__off(R_0006_0001__TAKE_R_0006_0002__OFF)
& has_arg0(R_0006_0001__TAKE_R_0006_0002__OFF,Z_0006_5002)
& has_arg1(R_0006_0001__TAKE_R_0006_0002__OFF,R_0006_0004__SUNGLASSES) ) ).