603_a_dick_1952
She smiled up at Dorle.
arc(r_0603_0002__smiled, r_0603_0001__She, arg0).
arc(r_0603_0002__smiled, r_0603_0003__up, nim7).
arc(r_0603_0002__smiled, r_0603_0005__Dorle, r_0603_0004__at_clr13).
fof(formula,axiom,
? [R_603_2_SMILED,R_603_1_SHE,R_603_3_UP,R_603_5_DORLE] :
( she(R_603_1_SHE)
& up(R_603_3_UP)
& dorle(R_603_5_DORLE)
& smiled(R_603_2_SMILED,R_603_1_SHE)
& nim7(R_603_2_SMILED,R_603_3_UP)
& at_clr13(R_603_2_SMILED,R_603_5_DORLE) ) ).
( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
(VBD;_Ipr_ smiled;{smile[at]})
(ADVP-NIM (RP up;{up}))
(PP-CLR (P-ROLE at;{at})
(NP;{DORLE} (NPR Dorle;{Dorle})))
(PUNC .))
(ID 603_a_dick_1952))