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_10_3_AND,R_10_2_SIGHED,R_10_4_PUSHED,R_10_1_HE,R_10_5_THE_EYEPIECE,R_10_7_AWAY] :
( he(R_10_1_HE)
& the_eyepiece(R_10_5_THE_EYEPIECE)
& away(R_10_7_AWAY)
& and(R_10_3_AND)
& conj1(R_10_3_AND,R_10_2_SIGHED)
& sighed(R_10_2_SIGHED,R_10_1_HE)
& conj2(R_10_3_AND,R_10_4_PUSHED)
& pushed(R_10_4_PUSHED,R_10_1_HE,R_10_5_THE_EYEPIECE)
& clr20(R_10_4_PUSHED,R_10_7_AWAY) ) ).
( (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))