22_a_dick_1952
He pushed past Tance and peered into the sight.
arc(r_0022_0002__pushed, r_0022_0001__He, arg0).
arc(r_0022_0002__pushed, r_0022_0004__Tance, r_0022_0003__past_clr12).
arc(r_0022_0005__and, r_0022_0002__pushed, conj1).
arc(r_0022_0005__and, r_0022_0006__peered, conj2).
arc(r_0022_0006__peered, r_0022_0001__He, arg0).
arc(r_0022_0006__peered, r_0022_0008__the_r_0022_0009__sight, r_0022_0007__into_clr24).
fof(formula,axiom,
? [R_0022_0001__HE,R_0022_0004__TANCE,R_0022_0002__PUSHED,R_0022_0008__THE_R_0022_0009__SIGHT,R_0022_0006__PEERED,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_0006__peered(R_0022_0006__PEERED)
& has_r_0022_0007__into_clr24(R_0022_0006__PEERED,R_0022_0008__THE_R_0022_0009__SIGHT)
& has_arg0(R_0022_0006__PEERED,R_0022_0001__HE)
& has_conj1(R_0022_0005__AND,R_0022_0002__PUSHED)
& r_0022_0002__pushed(R_0022_0002__PUSHED)
& has_r_0022_0003__past_clr12(R_0022_0002__PUSHED,R_0022_0004__TANCE)
& has_arg0(R_0022_0002__PUSHED,R_0022_0001__HE) ) ).
( (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))