Context                Previous, Next                Top


10_a_dick_1952
He sighed and pushed the eyepiece away.

%3 r_0010_0002__sighed sighed r_0010_0001__He He r_0010_0002__sighed->r_0010_0001__He [arg0] r_0010_0003__and and r_0010_0003__and->r_0010_0002__sighed [conj1] r_0010_0004__pushed pushed r_0010_0003__and->r_0010_0004__pushed [conj2] r_0010_0004__pushed->r_0010_0001__He [arg0] r_0010_0005__the_r_0010_0006__eyepiece the eyepiece r_0010_0004__pushed->r_0010_0005__the_r_0010_0006__eyepiece [arg1] r_0010_0007__away away r_0010_0004__pushed->r_0010_0007__away [clr] 
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, conj2).
arc(r_0010_0004__pushed, r_0010_0001__He, arg0).
arc(r_0010_0004__pushed, r_0010_0005__the_r_0010_0006__eyepiece, arg1).
arc(r_0010_0004__pushed, r_0010_0007__away, clr20).


%3 r_0010_0004__pushed pushed r_0010_0007__away away r_0010_0004__pushed->r_0010_0007__away [clr] r_0010_0005__the_r_0010_0006__eyepiece the eyepiece r_0010_0004__pushed->r_0010_0005__the_r_0010_0006__eyepiece [arg1] r_0010_0001__He He r_0010_0004__pushed->r_0010_0001__He [arg0] r_0010_0003__and and r_0010_0003__and->r_0010_0004__pushed [conj2] r_0010_0002__sighed sighed r_0010_0003__and->r_0010_0002__sighed [conj1] r_0010_0002__sighed->r_0010_0001__He [arg0] 
fof(formula,axiom,
    ? [R_10_3_AND,R_10_2_SIGHED,R_10_4_PUSHED,R_10_1_HE,R_10_5_THE_EYEPIECE,R_10_7_AWAY] :
      ( he(R_10_1_HE)
      & the_eyepiece(R_10_5_THE_EYEPIECE)
      & away(R_10_7_AWAY)
      & and(R_10_3_AND)
      & conj1(R_10_3_AND,R_10_2_SIGHED)
      & sighed(R_10_2_SIGHED,R_10_1_HE)
      & conj2(R_10_3_AND,R_10_4_PUSHED)
      & pushed(R_10_4_PUSHED,R_10_1_HE,R_10_5_THE_EYEPIECE)
      & clr20(R_10_4_PUSHED,R_10_7_AWAY) ) ).


n10_a_dick_1952 n10_a_dick_1952__1_1_1_1 He n10_a_dick_1952__1_2_1_1_1 sighed n10_a_dick_1952__1_2_2_1_1 and n10_a_dick_1952__1_2_2_2_1_1 pushed n10_a_dick_1952__1_2_2_2_2_1_1 the n10_a_dick_1952__1_2_2_2_2_2_1 eyepiece n10_a_dick_1952__1_2_2_2_3_1_1 away n10_a_dick_1952__1_3_1 . n10_a_dick_1952__1 IP-MAT n10_a_dick_1952__1_1 NP-SBJ n10_a_dick_1952__1->n10_a_dick_1952__1_1 n10_a_dick_1952__1_2 ILYR n10_a_dick_1952__1->n10_a_dick_1952__1_2 n10_a_dick_1952__1_3 PUNC n10_a_dick_1952__1->n10_a_dick_1952__1_3 n10_a_dick_1952__1_1_1 PRO n10_a_dick_1952__1_1->n10_a_dick_1952__1_1_1 n10_a_dick_1952__1_1_1->n10_a_dick_1952__1_1_1_1 n10_a_dick_1952__1_2_1 ILYR n10_a_dick_1952__1_2->n10_a_dick_1952__1_2_1 n10_a_dick_1952__1_2_2 CONJP n10_a_dick_1952__1_2->n10_a_dick_1952__1_2_2 n10_a_dick_1952__1_2_1_1 VBD;_I_ n10_a_dick_1952__1_2_1->n10_a_dick_1952__1_2_1_1 n10_a_dick_1952__1_2_1_1->n10_a_dick_1952__1_2_1_1_1 n10_a_dick_1952__1_2_2_1 CONJ n10_a_dick_1952__1_2_2->n10_a_dick_1952__1_2_2_1 n10_a_dick_1952__1_2_2_2 ILYR n10_a_dick_1952__1_2_2->n10_a_dick_1952__1_2_2_2 n10_a_dick_1952__1_2_2_1->n10_a_dick_1952__1_2_2_1_1 n10_a_dick_1952__1_2_2_2_1 VBD;_Tn.p_ n10_a_dick_1952__1_2_2_2->n10_a_dick_1952__1_2_2_2_1 n10_a_dick_1952__1_2_2_2_2 NP-OB1 n10_a_dick_1952__1_2_2_2->n10_a_dick_1952__1_2_2_2_2 n10_a_dick_1952__1_2_2_2_3 ADVP-CLR n10_a_dick_1952__1_2_2_2->n10_a_dick_1952__1_2_2_2_3 n10_a_dick_1952__1_2_2_2_1->n10_a_dick_1952__1_2_2_2_1_1 n10_a_dick_1952__1_2_2_2_2_1 D n10_a_dick_1952__1_2_2_2_2->n10_a_dick_1952__1_2_2_2_2_1 n10_a_dick_1952__1_2_2_2_2_2 N n10_a_dick_1952__1_2_2_2_2->n10_a_dick_1952__1_2_2_2_2_2 n10_a_dick_1952__1_2_2_2_2_1->n10_a_dick_1952__1_2_2_2_2_1_1 n10_a_dick_1952__1_2_2_2_2_2->n10_a_dick_1952__1_2_2_2_2_2_1 n10_a_dick_1952__1_2_2_2_3_1 RP n10_a_dick_1952__1_2_2_2_3->n10_a_dick_1952__1_2_2_2_3_1 n10_a_dick_1952__1_2_2_2_3_1->n10_a_dick_1952__1_2_2_2_3_1_1 n10_a_dick_1952__1_3->n10_a_dick_1952__1_3_1 
( (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))