10_a_dick_1952
He sighed and pushed the eyepiece away.
arc(r_0010_0002__sighed, r_0010_0001__He, arg0).
arc(r_0010_0003__and, r_0010_0002__sighed, conj1).
arc(r_0010_0003__and, r_0010_0004__pushed, conj2).
arc(r_0010_0004__pushed, r_0010_0001__He, arg0).
arc(r_0010_0004__pushed, r_0010_0005__the_r_0010_0006__eyepiece, arg1).
arc(r_0010_0004__pushed, r_0010_0007__away, clr20).
fof(formula,axiom,
? [R_0010_0001__HE,R_0010_0002__SIGHED,R_0010_0005__THE_R_0010_0006__EYEPIECE,R_0010_0007__AWAY,R_0010_0004__PUSHED,R_0010_0003__AND] :
( r_0010_0001__He(R_0010_0001__HE)
& r_0010_0005__the_r_0010_0006__eyepiece(R_0010_0005__THE_R_0010_0006__EYEPIECE)
& r_0010_0007__away(R_0010_0007__AWAY)
& r_0010_0003__and(R_0010_0003__AND)
& has_conj2(R_0010_0003__AND,R_0010_0004__PUSHED)
& r_0010_0004__pushed(R_0010_0004__PUSHED)
& has_clr20(R_0010_0004__PUSHED,R_0010_0007__AWAY)
& has_arg1(R_0010_0004__PUSHED,R_0010_0005__THE_R_0010_0006__EYEPIECE)
& has_arg0(R_0010_0004__PUSHED,R_0010_0001__HE)
& has_conj1(R_0010_0003__AND,R_0010_0002__SIGHED)
& r_0010_0002__sighed(R_0010_0002__SIGHED)
& has_arg0(R_0010_0002__SIGHED,R_0010_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{CAPTAIN} (PRO He;{he}))
(ILYR (ILYR (VBD;_I_ sighed;{sigh}))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn.p_ pushed;{push[away]})
(NP-OB1 (D the;{the})
(N eyepiece;{eyepiece}))
(ADVP-CLR (RP away;{away})))))
(PUNC .))
(ID 10_a_dick_1952))