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_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] 
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_4 He n10_a_dick_1952_8 sighed n10_a_dick_1952_11 and n10_a_dick_1952_14 pushed n10_a_dick_1952_17 the n10_a_dick_1952_19 eyepiece n10_a_dick_1952_22 away n10_a_dick_1952_24 . n10_a_dick_1952_1 IP-MAT n10_a_dick_1952_2 NP-SBJ n10_a_dick_1952_1->n10_a_dick_1952_2 n10_a_dick_1952_5 ILYR n10_a_dick_1952_1->n10_a_dick_1952_5 n10_a_dick_1952_23 PUNC n10_a_dick_1952_1->n10_a_dick_1952_23 n10_a_dick_1952_3 PRO n10_a_dick_1952_2->n10_a_dick_1952_3 n10_a_dick_1952_3->n10_a_dick_1952_4 n10_a_dick_1952_6 ILYR n10_a_dick_1952_5->n10_a_dick_1952_6 n10_a_dick_1952_9 CONJP n10_a_dick_1952_5->n10_a_dick_1952_9 n10_a_dick_1952_7 VBD;_I_ n10_a_dick_1952_6->n10_a_dick_1952_7 n10_a_dick_1952_7->n10_a_dick_1952_8 n10_a_dick_1952_10 CONJ n10_a_dick_1952_9->n10_a_dick_1952_10 n10_a_dick_1952_12 ILYR n10_a_dick_1952_9->n10_a_dick_1952_12 n10_a_dick_1952_10->n10_a_dick_1952_11 n10_a_dick_1952_13 VBD;_Tn.p_ n10_a_dick_1952_12->n10_a_dick_1952_13 n10_a_dick_1952_15 NP-OB1 n10_a_dick_1952_12->n10_a_dick_1952_15 n10_a_dick_1952_20 ADVP-CLR n10_a_dick_1952_12->n10_a_dick_1952_20 n10_a_dick_1952_13->n10_a_dick_1952_14 n10_a_dick_1952_16 D n10_a_dick_1952_15->n10_a_dick_1952_16 n10_a_dick_1952_18 N n10_a_dick_1952_15->n10_a_dick_1952_18 n10_a_dick_1952_16->n10_a_dick_1952_17 n10_a_dick_1952_18->n10_a_dick_1952_19 n10_a_dick_1952_21 RP n10_a_dick_1952_20->n10_a_dick_1952_21 n10_a_dick_1952_21->n10_a_dick_1952_22 n10_a_dick_1952_23->n10_a_dick_1952_24 
( (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))