( (IP-MAT (NP-SBJ;{FOMAR} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Ipr_ pushed;{push[past]})
                      (PP-CLR (P-ROLE past;{past})
                              (NP;{TANCE} (NPR Tance;{Tance}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Ipr_ peered;{peer[into]})
                             (PP-CLR (P-ROLE into;{into})
                                     (NP (D the;{the})
                                         (N sight;{sight}))))))
          (PUNC .))
  (ID 22_a_dick_1952))

arc(r_0022_0002__pushed_r_0022_0003__past,r_0022_0001__He,arg0).
arc(r_0022_0002__pushed_r_0022_0003__past,r_0022_0004__Tance,arg1).
arc(r_0022_0005__and,r_0022_0002__pushed_r_0022_0003__past,conj1).
arc(r_0022_0005__and,r_0022_0006__peered_r_0022_0007__into,conj2).
arc(r_0022_0006__peered_r_0022_0007__into,r_0022_0001__He,arg0).
arc(r_0022_0006__peered_r_0022_0007__into,r_0022_0008__the_r_0022_0009__sight,arg1).

fof(formula,axiom,
    ? [R_0022_0001__HE,R_0022_0004__TANCE,R_0022_0002__PUSHED_R_0022_0003__PAST,R_0022_0008__THE_R_0022_0009__SIGHT,R_0022_0006__PEERED_R_0022_0007__INTO,R_0022_0005__AND] :
      ( r_0022_0001__He(R_0022_0001__HE)
      & r_0022_0004__Tance(R_0022_0004__TANCE)
      & r_0022_0008__the_r_0022_0009__sight(R_0022_0008__THE_R_0022_0009__SIGHT)
      & r_0022_0005__and(R_0022_0005__AND)
      & has_conj2(R_0022_0005__AND,R_0022_0006__PEERED_R_0022_0007__INTO)
      & r_0022_0006__peered_r_0022_0007__into(R_0022_0006__PEERED_R_0022_0007__INTO)
      & has_arg1(R_0022_0006__PEERED_R_0022_0007__INTO,R_0022_0008__THE_R_0022_0009__SIGHT)
      & has_arg0(R_0022_0006__PEERED_R_0022_0007__INTO,R_0022_0001__HE)
      & has_conj1(R_0022_0005__AND,R_0022_0002__PUSHED_R_0022_0003__PAST)
      & r_0022_0002__pushed_r_0022_0003__past(R_0022_0002__PUSHED_R_0022_0003__PAST)
      & has_arg1(R_0022_0002__PUSHED_R_0022_0003__PAST,R_0022_0004__TANCE)
      & has_arg0(R_0022_0002__PUSHED_R_0022_0003__PAST,R_0022_0001__HE) ) ).