Context                Previous, Next                Top


434_a_dick_1952
They watched him reach the door and pull hopefully on it without success.

%3 r_0434_0002__watched watched r_0434_0001__They They r_0434_0002__watched->r_0434_0001__They [arg0] r_0434_0007__and and r_0434_0002__watched->r_0434_0007__and [arg1] r_0434_0004__reach reach r_0434_0007__and->r_0434_0004__reach [conj1] r_0434_0008__pull pull r_0434_0007__and->r_0434_0008__pull [conj2] r_0434_0003__him him r_0434_0004__reach->r_0434_0003__him [arg0] r_0434_0005__the_r_0434_0006__door the door r_0434_0004__reach->r_0434_0005__the_r_0434_0006__door [arg1] r_0434_0008__pull->r_0434_0003__him [arg0] r_0434_0008__pull->r_0434_0005__the_r_0434_0006__door on [clr] r_0434_0009__hopefully hopefully r_0434_0008__pull->r_0434_0009__hopefully [nim] r_0434_0013__success success r_0434_0008__pull->r_0434_0013__success without [nim] 
arc(r_0434_0002__watched, r_0434_0001__They, arg0).
arc(r_0434_0002__watched, r_0434_0007__and, arg1).
arc(r_0434_0004__reach, r_0434_0003__him, arg0).
arc(r_0434_0004__reach, r_0434_0005__the_r_0434_0006__door, arg1).
arc(r_0434_0007__and, r_0434_0004__reach, conj1).
arc(r_0434_0007__and, r_0434_0008__pull, conj2).
arc(r_0434_0008__pull, r_0434_0003__him, arg0).
arc(r_0434_0008__pull, r_0434_0005__the_r_0434_0006__door, r_0434_0010__on_clr32).
arc(r_0434_0008__pull, r_0434_0009__hopefully, nim26).
arc(r_0434_0008__pull, r_0434_0013__success, r_0434_0012__without_nim38).


%3 r_0434_0002__watched watched r_0434_0001__They They r_0434_0002__watched->r_0434_0001__They [arg0] r_0434_0007__and and r_0434_0002__watched->r_0434_0007__and [arg1] r_0434_0004__reach reach r_0434_0007__and->r_0434_0004__reach [conj1] r_0434_0008__pull pull r_0434_0007__and->r_0434_0008__pull [conj2] r_0434_0003__him him r_0434_0004__reach->r_0434_0003__him [arg0] r_0434_0005__the_r_0434_0006__door the door r_0434_0004__reach->r_0434_0005__the_r_0434_0006__door [arg1] r_0434_0008__pull->r_0434_0003__him [arg0] r_0434_0008__pull->r_0434_0005__the_r_0434_0006__door on [clr] r_0434_0009__hopefully hopefully r_0434_0008__pull->r_0434_0009__hopefully [nim] r_0434_0013__success success r_0434_0008__pull->r_0434_0013__success without [nim] 
fof(formula,axiom,
    ? [R_434_2_WATCHED,R_434_1_THEY,R_434_7_AND,R_434_4_REACH,R_434_8_PULL,R_434_3_HIM,R_434_9_HOPEFULLY,R_434_5_THE_DOOR,R_434_13_SUCCESS] :
      ( they(R_434_1_THEY)
      & him(R_434_3_HIM)
      & hopefully(R_434_9_HOPEFULLY)
      & the_door(R_434_5_THE_DOOR)
      & success(R_434_13_SUCCESS)
      & watched(R_434_2_WATCHED,R_434_1_THEY,R_434_7_AND)
      & and(R_434_7_AND)
      & conj1(R_434_7_AND,R_434_4_REACH)
      & reach(R_434_4_REACH,R_434_3_HIM,R_434_5_THE_DOOR)
      & conj2(R_434_7_AND,R_434_8_PULL)
      & pull(R_434_8_PULL,R_434_3_HIM)
      & nim26(R_434_8_PULL,R_434_9_HOPEFULLY)
      & on_clr32(R_434_8_PULL,R_434_5_THE_DOOR)
      & without_nim38(R_434_8_PULL,R_434_13_SUCCESS) ) ).


n434_a_dick_1952 n434_a_dick_1952_4 They n434_a_dick_1952_6 watched n434_a_dick_1952_9 him n434_a_dick_1952_14 reach n434_a_dick_1952_17 the n434_a_dick_1952_19 door n434_a_dick_1952_22 and n434_a_dick_1952_25 pull n434_a_dick_1952_28 hopefully n434_a_dick_1952_31 on n434_a_dick_1952_34 it n434_a_dick_1952_37 without n434_a_dick_1952_40 success n434_a_dick_1952_42 . n434_a_dick_1952_1 IP-MAT n434_a_dick_1952_2 NP-SBJ n434_a_dick_1952_1->n434_a_dick_1952_2 n434_a_dick_1952_5 VBD;_Tni_ n434_a_dick_1952_1->n434_a_dick_1952_5 n434_a_dick_1952_7 NP-DOB1 n434_a_dick_1952_1->n434_a_dick_1952_7 n434_a_dick_1952_10 IP-INF-OB1 n434_a_dick_1952_1->n434_a_dick_1952_10 n434_a_dick_1952_41 PUNC n434_a_dick_1952_1->n434_a_dick_1952_41 n434_a_dick_1952_3 PRO n434_a_dick_1952_2->n434_a_dick_1952_3 n434_a_dick_1952_3->n434_a_dick_1952_4 n434_a_dick_1952_5->n434_a_dick_1952_6 n434_a_dick_1952_8 PRO n434_a_dick_1952_7->n434_a_dick_1952_8 n434_a_dick_1952_8->n434_a_dick_1952_9 n434_a_dick_1952_11 ILYR n434_a_dick_1952_10->n434_a_dick_1952_11 n434_a_dick_1952_12 ILYR n434_a_dick_1952_11->n434_a_dick_1952_12 n434_a_dick_1952_20 CONJP n434_a_dick_1952_11->n434_a_dick_1952_20 n434_a_dick_1952_13 VB;_Tn_ n434_a_dick_1952_12->n434_a_dick_1952_13 n434_a_dick_1952_15 NP-OB1 n434_a_dick_1952_12->n434_a_dick_1952_15 n434_a_dick_1952_13->n434_a_dick_1952_14 n434_a_dick_1952_16 D n434_a_dick_1952_15->n434_a_dick_1952_16 n434_a_dick_1952_18 N n434_a_dick_1952_15->n434_a_dick_1952_18 n434_a_dick_1952_16->n434_a_dick_1952_17 n434_a_dick_1952_18->n434_a_dick_1952_19 n434_a_dick_1952_21 CONJ n434_a_dick_1952_20->n434_a_dick_1952_21 n434_a_dick_1952_23 ILYR n434_a_dick_1952_20->n434_a_dick_1952_23 n434_a_dick_1952_21->n434_a_dick_1952_22 n434_a_dick_1952_24 VB;_Ipr_ n434_a_dick_1952_23->n434_a_dick_1952_24 n434_a_dick_1952_26 ADVP-NIM n434_a_dick_1952_23->n434_a_dick_1952_26 n434_a_dick_1952_29 PP-CLR n434_a_dick_1952_23->n434_a_dick_1952_29 n434_a_dick_1952_35 PP-NIM n434_a_dick_1952_23->n434_a_dick_1952_35 n434_a_dick_1952_24->n434_a_dick_1952_25 n434_a_dick_1952_27 ADV n434_a_dick_1952_26->n434_a_dick_1952_27 n434_a_dick_1952_27->n434_a_dick_1952_28 n434_a_dick_1952_30 P-ROLE n434_a_dick_1952_29->n434_a_dick_1952_30 n434_a_dick_1952_32 NP n434_a_dick_1952_29->n434_a_dick_1952_32 n434_a_dick_1952_30->n434_a_dick_1952_31 n434_a_dick_1952_33 PRO n434_a_dick_1952_32->n434_a_dick_1952_33 n434_a_dick_1952_33->n434_a_dick_1952_34 n434_a_dick_1952_36 P-ROLE n434_a_dick_1952_35->n434_a_dick_1952_36 n434_a_dick_1952_38 NP n434_a_dick_1952_35->n434_a_dick_1952_38 n434_a_dick_1952_36->n434_a_dick_1952_37 n434_a_dick_1952_39 N n434_a_dick_1952_38->n434_a_dick_1952_39 n434_a_dick_1952_39->n434_a_dick_1952_40 n434_a_dick_1952_41->n434_a_dick_1952_42 
( (IP-MAT (NP-SBJ;{DORLE_NASHA} (PRO They;{they}))
          (VBD;_Tni_ watched;{watch})
          (NP-DOB1;{TANCE} (PRO him;{he}))
          (IP-INF-OB1 (ILYR (ILYR (VB;_Tn_ reach;{reach})
                                  (NP-OB1;{DOOR} (D the;{the})
                                                 (N door;{door})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ipr_ pull;{pull[on]})
                                         (ADVP-NIM (ADV hopefully;{hopefully}))
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP;{DOOR} (PRO it;{it})))
                                         (PP-NIM (P-ROLE without;{without})
                                                 (NP (N success;{success})))))))
          (PUNC .))
  (ID 434_a_dick_1952))