22_a_dick_1952
He pushed past Tance and peered into the sight.

%3 r_0022_0002__pushed pushed r_0022_0001__He He r_0022_0002__pushed->r_0022_0001__He [arg0] r_0022_0004__Tance Tance r_0022_0002__pushed->r_0022_0004__Tance past [clr] r_0022_0005__and and r_0022_0005__and->r_0022_0002__pushed [conj1] r_0022_0006__peered peered r_0022_0005__and->r_0022_0006__peered [conj2] r_0022_0006__peered->r_0022_0001__He [arg0] r_0022_0008__the_r_0022_0009__sight the sight r_0022_0006__peered->r_0022_0008__the_r_0022_0009__sight into [clr]
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).



%3 r_0022_0006__peered peered r_0022_0008__the_r_0022_0009__sight the sight r_0022_0006__peered->r_0022_0008__the_r_0022_0009__sight into [clr] r_0022_0001__He He r_0022_0006__peered->r_0022_0001__He [arg0] r_0022_0005__and and r_0022_0005__and->r_0022_0006__peered [conj2] r_0022_0002__pushed pushed r_0022_0005__and->r_0022_0002__pushed [conj1] r_0022_0002__pushed->r_0022_0001__He [arg0] r_0022_0004__Tance Tance r_0022_0002__pushed->r_0022_0004__Tance past [clr]
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) ) ).



n22_a_dick_1952 n22_a_dick_1952__1_1_1_1 He n22_a_dick_1952__1_2_1_1_1 pushed n22_a_dick_1952__1_2_1_2_1_1 past n22_a_dick_1952__1_2_1_2_2_1_1 Tance n22_a_dick_1952__1_2_2_1_1 and n22_a_dick_1952__1_2_2_2_1_1 peered n22_a_dick_1952__1_2_2_2_2_1_1 into n22_a_dick_1952__1_2_2_2_2_2_1_1 the n22_a_dick_1952__1_2_2_2_2_2_2_1 sight n22_a_dick_1952__1_3_1 . n22_a_dick_1952__1 IP-MAT n22_a_dick_1952__1_1 NP-SBJ n22_a_dick_1952__1->n22_a_dick_1952__1_1 n22_a_dick_1952__1_2 ILYR n22_a_dick_1952__1->n22_a_dick_1952__1_2 n22_a_dick_1952__1_3 PUNC n22_a_dick_1952__1->n22_a_dick_1952__1_3 n22_a_dick_1952__1_1_1 PRO n22_a_dick_1952__1_1->n22_a_dick_1952__1_1_1 n22_a_dick_1952__1_1_1->n22_a_dick_1952__1_1_1_1 n22_a_dick_1952__1_2_1 ILYR n22_a_dick_1952__1_2->n22_a_dick_1952__1_2_1 n22_a_dick_1952__1_2_2 CONJP n22_a_dick_1952__1_2->n22_a_dick_1952__1_2_2 n22_a_dick_1952__1_2_1_1 VBD;_Ipr_ n22_a_dick_1952__1_2_1->n22_a_dick_1952__1_2_1_1 n22_a_dick_1952__1_2_1_2 PP-CLR n22_a_dick_1952__1_2_1->n22_a_dick_1952__1_2_1_2 n22_a_dick_1952__1_2_1_1->n22_a_dick_1952__1_2_1_1_1 n22_a_dick_1952__1_2_1_2_1 P-ROLE n22_a_dick_1952__1_2_1_2->n22_a_dick_1952__1_2_1_2_1 n22_a_dick_1952__1_2_1_2_2 NP n22_a_dick_1952__1_2_1_2->n22_a_dick_1952__1_2_1_2_2 n22_a_dick_1952__1_2_1_2_1->n22_a_dick_1952__1_2_1_2_1_1 n22_a_dick_1952__1_2_1_2_2_1 NPR n22_a_dick_1952__1_2_1_2_2->n22_a_dick_1952__1_2_1_2_2_1 n22_a_dick_1952__1_2_1_2_2_1->n22_a_dick_1952__1_2_1_2_2_1_1 n22_a_dick_1952__1_2_2_1 CONJ n22_a_dick_1952__1_2_2->n22_a_dick_1952__1_2_2_1 n22_a_dick_1952__1_2_2_2 ILYR n22_a_dick_1952__1_2_2->n22_a_dick_1952__1_2_2_2 n22_a_dick_1952__1_2_2_1->n22_a_dick_1952__1_2_2_1_1 n22_a_dick_1952__1_2_2_2_1 VBD;_Ipr_ n22_a_dick_1952__1_2_2_2->n22_a_dick_1952__1_2_2_2_1 n22_a_dick_1952__1_2_2_2_2 PP-CLR n22_a_dick_1952__1_2_2_2->n22_a_dick_1952__1_2_2_2_2 n22_a_dick_1952__1_2_2_2_1->n22_a_dick_1952__1_2_2_2_1_1 n22_a_dick_1952__1_2_2_2_2_1 P-ROLE n22_a_dick_1952__1_2_2_2_2->n22_a_dick_1952__1_2_2_2_2_1 n22_a_dick_1952__1_2_2_2_2_2 NP n22_a_dick_1952__1_2_2_2_2->n22_a_dick_1952__1_2_2_2_2_2 n22_a_dick_1952__1_2_2_2_2_1->n22_a_dick_1952__1_2_2_2_2_1_1 n22_a_dick_1952__1_2_2_2_2_2_1 D n22_a_dick_1952__1_2_2_2_2_2->n22_a_dick_1952__1_2_2_2_2_2_1 n22_a_dick_1952__1_2_2_2_2_2_2 N n22_a_dick_1952__1_2_2_2_2_2->n22_a_dick_1952__1_2_2_2_2_2_2 n22_a_dick_1952__1_2_2_2_2_2_1->n22_a_dick_1952__1_2_2_2_2_2_1_1 n22_a_dick_1952__1_2_2_2_2_2_2->n22_a_dick_1952__1_2_2_2_2_2_2_1 n22_a_dick_1952__1_3->n22_a_dick_1952__1_3_1
( (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))