( (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))

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_r_0010_0007__away,conj2).
arc(r_0010_0004__pushed_r_0010_0007__away,r_0010_0001__He,arg0).
arc(r_0010_0004__pushed_r_0010_0007__away,r_0010_0005__the_r_0010_0006__eyepiece,arg1).

fof(formula,axiom,
    ? [R_0010_0001__HE,R_0010_0002__SIGHED,R_0010_0005__THE_R_0010_0006__EYEPIECE,R_0010_0004__PUSHED_R_0010_0007__AWAY,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_0003__and(R_0010_0003__AND)
      & has_conj2(R_0010_0003__AND,R_0010_0004__PUSHED_R_0010_0007__AWAY)
      & r_0010_0004__pushed_r_0010_0007__away(R_0010_0004__PUSHED_R_0010_0007__AWAY)
      & has_arg1(R_0010_0004__PUSHED_R_0010_0007__AWAY,R_0010_0005__THE_R_0010_0006__EYEPIECE)
      & has_arg0(R_0010_0004__PUSHED_R_0010_0007__AWAY,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) ) ).