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_0008__pull pull r_0434_0013__success success r_0434_0008__pull->r_0434_0013__success without [nim] r_0434_0009__hopefully hopefully r_0434_0008__pull->r_0434_0009__hopefully [nim] r_0434_0005__the_r_0434_0006__door the door r_0434_0008__pull->r_0434_0005__the_r_0434_0006__door on [clr] r_0434_0003__him him r_0434_0008__pull->r_0434_0003__him [arg0] r_0434_0007__and and r_0434_0007__and->r_0434_0008__pull [conj2] r_0434_0004__reach reach r_0434_0007__and->r_0434_0004__reach [conj1] r_0434_0004__reach->r_0434_0005__the_r_0434_0006__door [arg1] r_0434_0004__reach->r_0434_0003__him [arg0] r_0434_0002__watched watched r_0434_0002__watched->r_0434_0007__and [arg1] r_0434_0001__They They r_0434_0002__watched->r_0434_0001__They [arg0] 
fof(formula,axiom,
    ? [R_0434_0001__THEY,R_0434_0003__HIM,R_0434_0005__THE_R_0434_0006__DOOR,R_0434_0004__REACH,R_0434_0009__HOPEFULLY,R_0434_0013__SUCCESS,R_0434_0008__PULL,R_0434_0007__AND,R_0434_0002__WATCHED] :
      ( r_0434_0001__They(R_0434_0001__THEY)
      & r_0434_0003__him(R_0434_0003__HIM)
      & r_0434_0005__the_r_0434_0006__door(R_0434_0005__THE_R_0434_0006__DOOR)
      & r_0434_0009__hopefully(R_0434_0009__HOPEFULLY)
      & r_0434_0013__success(R_0434_0013__SUCCESS)
      & r_0434_0002__watched(R_0434_0002__WATCHED)
      & has_arg1(R_0434_0002__WATCHED,R_0434_0007__AND)
      & r_0434_0007__and(R_0434_0007__AND)
      & has_conj2(R_0434_0007__AND,R_0434_0008__PULL)
      & r_0434_0008__pull(R_0434_0008__PULL)
      & has_r_0434_0012__without_nim38(R_0434_0008__PULL,R_0434_0013__SUCCESS)
      & has_nim26(R_0434_0008__PULL,R_0434_0009__HOPEFULLY)
      & has_r_0434_0010__on_clr32(R_0434_0008__PULL,R_0434_0005__THE_R_0434_0006__DOOR)
      & has_arg0(R_0434_0008__PULL,R_0434_0003__HIM)
      & has_conj1(R_0434_0007__AND,R_0434_0004__REACH)
      & r_0434_0004__reach(R_0434_0004__REACH)
      & has_arg1(R_0434_0004__REACH,R_0434_0005__THE_R_0434_0006__DOOR)
      & has_arg0(R_0434_0004__REACH,R_0434_0003__HIM)
      & has_arg0(R_0434_0002__WATCHED,R_0434_0001__THEY) ) ).


n434_a_dick_1952 n434_a_dick_1952__1_1_1_1 They n434_a_dick_1952__1_2_1 watched n434_a_dick_1952__1_3_1_1 him n434_a_dick_1952__1_4_1_1_1_1 reach n434_a_dick_1952__1_4_1_1_2_1_1 the n434_a_dick_1952__1_4_1_1_2_2_1 door n434_a_dick_1952__1_4_1_2_1_1 and n434_a_dick_1952__1_4_1_2_2_1_1 pull n434_a_dick_1952__1_4_1_2_2_2_1_1 hopefully n434_a_dick_1952__1_4_1_2_2_3_1_1 on n434_a_dick_1952__1_4_1_2_2_3_2_1_1 it n434_a_dick_1952__1_4_1_2_2_4_1_1 without n434_a_dick_1952__1_4_1_2_2_4_2_1_1 success n434_a_dick_1952__1_5_1 . n434_a_dick_1952__1 IP-MAT n434_a_dick_1952__1_1 NP-SBJ n434_a_dick_1952__1->n434_a_dick_1952__1_1 n434_a_dick_1952__1_2 VBD;_Tni_ n434_a_dick_1952__1->n434_a_dick_1952__1_2 n434_a_dick_1952__1_3 NP-DOB1 n434_a_dick_1952__1->n434_a_dick_1952__1_3 n434_a_dick_1952__1_4 IP-INF-OB1 n434_a_dick_1952__1->n434_a_dick_1952__1_4 n434_a_dick_1952__1_5 PUNC n434_a_dick_1952__1->n434_a_dick_1952__1_5 n434_a_dick_1952__1_1_1 PRO n434_a_dick_1952__1_1->n434_a_dick_1952__1_1_1 n434_a_dick_1952__1_1_1->n434_a_dick_1952__1_1_1_1 n434_a_dick_1952__1_2->n434_a_dick_1952__1_2_1 n434_a_dick_1952__1_3_1 PRO n434_a_dick_1952__1_3->n434_a_dick_1952__1_3_1 n434_a_dick_1952__1_3_1->n434_a_dick_1952__1_3_1_1 n434_a_dick_1952__1_4_1 ILYR n434_a_dick_1952__1_4->n434_a_dick_1952__1_4_1 n434_a_dick_1952__1_4_1_1 ILYR n434_a_dick_1952__1_4_1->n434_a_dick_1952__1_4_1_1 n434_a_dick_1952__1_4_1_2 CONJP n434_a_dick_1952__1_4_1->n434_a_dick_1952__1_4_1_2 n434_a_dick_1952__1_4_1_1_1 VB;_Tn_ n434_a_dick_1952__1_4_1_1->n434_a_dick_1952__1_4_1_1_1 n434_a_dick_1952__1_4_1_1_2 NP-OB1 n434_a_dick_1952__1_4_1_1->n434_a_dick_1952__1_4_1_1_2 n434_a_dick_1952__1_4_1_1_1->n434_a_dick_1952__1_4_1_1_1_1 n434_a_dick_1952__1_4_1_1_2_1 D n434_a_dick_1952__1_4_1_1_2->n434_a_dick_1952__1_4_1_1_2_1 n434_a_dick_1952__1_4_1_1_2_2 N n434_a_dick_1952__1_4_1_1_2->n434_a_dick_1952__1_4_1_1_2_2 n434_a_dick_1952__1_4_1_1_2_1->n434_a_dick_1952__1_4_1_1_2_1_1 n434_a_dick_1952__1_4_1_1_2_2->n434_a_dick_1952__1_4_1_1_2_2_1 n434_a_dick_1952__1_4_1_2_1 CONJ n434_a_dick_1952__1_4_1_2->n434_a_dick_1952__1_4_1_2_1 n434_a_dick_1952__1_4_1_2_2 ILYR n434_a_dick_1952__1_4_1_2->n434_a_dick_1952__1_4_1_2_2 n434_a_dick_1952__1_4_1_2_1->n434_a_dick_1952__1_4_1_2_1_1 n434_a_dick_1952__1_4_1_2_2_1 VB;_Ipr_ n434_a_dick_1952__1_4_1_2_2->n434_a_dick_1952__1_4_1_2_2_1 n434_a_dick_1952__1_4_1_2_2_2 ADVP-NIM n434_a_dick_1952__1_4_1_2_2->n434_a_dick_1952__1_4_1_2_2_2 n434_a_dick_1952__1_4_1_2_2_3 PP-CLR n434_a_dick_1952__1_4_1_2_2->n434_a_dick_1952__1_4_1_2_2_3 n434_a_dick_1952__1_4_1_2_2_4 PP-NIM n434_a_dick_1952__1_4_1_2_2->n434_a_dick_1952__1_4_1_2_2_4 n434_a_dick_1952__1_4_1_2_2_1->n434_a_dick_1952__1_4_1_2_2_1_1 n434_a_dick_1952__1_4_1_2_2_2_1 ADV n434_a_dick_1952__1_4_1_2_2_2->n434_a_dick_1952__1_4_1_2_2_2_1 n434_a_dick_1952__1_4_1_2_2_2_1->n434_a_dick_1952__1_4_1_2_2_2_1_1 n434_a_dick_1952__1_4_1_2_2_3_1 P-ROLE n434_a_dick_1952__1_4_1_2_2_3->n434_a_dick_1952__1_4_1_2_2_3_1 n434_a_dick_1952__1_4_1_2_2_3_2 NP n434_a_dick_1952__1_4_1_2_2_3->n434_a_dick_1952__1_4_1_2_2_3_2 n434_a_dick_1952__1_4_1_2_2_3_1->n434_a_dick_1952__1_4_1_2_2_3_1_1 n434_a_dick_1952__1_4_1_2_2_3_2_1 PRO n434_a_dick_1952__1_4_1_2_2_3_2->n434_a_dick_1952__1_4_1_2_2_3_2_1 n434_a_dick_1952__1_4_1_2_2_3_2_1->n434_a_dick_1952__1_4_1_2_2_3_2_1_1 n434_a_dick_1952__1_4_1_2_2_4_1 P-ROLE n434_a_dick_1952__1_4_1_2_2_4->n434_a_dick_1952__1_4_1_2_2_4_1 n434_a_dick_1952__1_4_1_2_2_4_2 NP n434_a_dick_1952__1_4_1_2_2_4->n434_a_dick_1952__1_4_1_2_2_4_2 n434_a_dick_1952__1_4_1_2_2_4_1->n434_a_dick_1952__1_4_1_2_2_4_1_1 n434_a_dick_1952__1_4_1_2_2_4_2_1 N n434_a_dick_1952__1_4_1_2_2_4_2->n434_a_dick_1952__1_4_1_2_2_4_2_1 n434_a_dick_1952__1_4_1_2_2_4_2_1->n434_a_dick_1952__1_4_1_2_2_4_2_1_1 n434_a_dick_1952__1_5->n434_a_dick_1952__1_5_1 
( (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))