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_22_5_AND,R_22_2_PUSHED,R_22_4_TANCE,R_22_6_PEERED,R_22_1_HE,R_22_8_THE_SIGHT] :
( tance(R_22_4_TANCE)
& he(R_22_1_HE)
& the_sight(R_22_8_THE_SIGHT)
& and(R_22_5_AND)
& conj1(R_22_5_AND,R_22_2_PUSHED)
& pushed(R_22_2_PUSHED,R_22_1_HE)
& past_clr12(R_22_2_PUSHED,R_22_4_TANCE)
& conj2(R_22_5_AND,R_22_6_PEERED)
& peered(R_22_6_PEERED,R_22_1_HE)
& into_clr24(R_22_6_PEERED,R_22_8_THE_SIGHT) ) ).
( (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))