Context                Previous, Next                Top


11_a_stories_10_k58
He listens for the car door and then waits for dad.

%3 r_0011_0002__listens listens r_0011_0001__He He r_0011_0002__listens->r_0011_0001__He [arg0] r_0011_0004__the_r_0011_0005__car_r_0011_0006__door the car door r_0011_0002__listens->r_0011_0004__the_r_0011_0005__car_r_0011_0006__door for [clr] r_0011_0007__and and r_0011_0007__and->r_0011_0002__listens [conj1] r_0011_0009__waits waits r_0011_0007__and->r_0011_0009__waits [conj2] r_0011_0009__waits->r_0011_0001__He [arg0] r_0011_0008__then then r_0011_0009__waits->r_0011_0008__then [nim] r_0011_0011__dad dad r_0011_0009__waits->r_0011_0011__dad for [clr] 
arc(r_0011_0002__listens, r_0011_0001__He, arg0).
arc(r_0011_0002__listens, r_0011_0004__the_r_0011_0005__car_r_0011_0006__door, r_0011_0003__for_clr12).
arc(r_0011_0007__and, r_0011_0002__listens, conj1).
arc(r_0011_0007__and, r_0011_0009__waits, conj2).
arc(r_0011_0009__waits, r_0011_0001__He, arg0).
arc(r_0011_0009__waits, r_0011_0008__then, nim23).
arc(r_0011_0009__waits, r_0011_0011__dad, r_0011_0010__for_clr31).


%3 r_0011_0009__waits waits r_0011_0011__dad dad r_0011_0009__waits->r_0011_0011__dad for [clr] r_0011_0008__then then r_0011_0009__waits->r_0011_0008__then [nim] r_0011_0001__He He r_0011_0009__waits->r_0011_0001__He [arg0] r_0011_0007__and and r_0011_0007__and->r_0011_0009__waits [conj2] r_0011_0002__listens listens r_0011_0007__and->r_0011_0002__listens [conj1] r_0011_0002__listens->r_0011_0001__He [arg0] r_0011_0004__the_r_0011_0005__car_r_0011_0006__door the car door r_0011_0002__listens->r_0011_0004__the_r_0011_0005__car_r_0011_0006__door for [clr] 
fof(formula,axiom,
    ? [R_0011_0001__HE,R_0011_0004__THE_R_0011_0005__CAR_R_0011_0006__DOOR,R_0011_0002__LISTENS,R_0011_0008__THEN,R_0011_0011__DAD,R_0011_0009__WAITS,R_0011_0007__AND] :
      ( r_0011_0001__He(R_0011_0001__HE)
      & r_0011_0004__the_r_0011_0005__car_r_0011_0006__door(R_0011_0004__THE_R_0011_0005__CAR_R_0011_0006__DOOR)
      & r_0011_0008__then(R_0011_0008__THEN)
      & r_0011_0011__dad(R_0011_0011__DAD)
      & r_0011_0007__and(R_0011_0007__AND)
      & has_conj2(R_0011_0007__AND,R_0011_0009__WAITS)
      & r_0011_0009__waits(R_0011_0009__WAITS)
      & has_r_0011_0010__for_clr31(R_0011_0009__WAITS,R_0011_0011__DAD)
      & has_nim23(R_0011_0009__WAITS,R_0011_0008__THEN)
      & has_arg0(R_0011_0009__WAITS,R_0011_0001__HE)
      & has_conj1(R_0011_0007__AND,R_0011_0002__LISTENS)
      & r_0011_0002__listens(R_0011_0002__LISTENS)
      & has_r_0011_0003__for_clr12(R_0011_0002__LISTENS,R_0011_0004__THE_R_0011_0005__CAR_R_0011_0006__DOOR)
      & has_arg0(R_0011_0002__LISTENS,R_0011_0001__HE) ) ).


n11_a_stories_10_k58 n11_a_stories_10_k58__1_1_1_1 He n11_a_stories_10_k58__1_2_1_1_1 listens n11_a_stories_10_k58__1_2_1_2_1_1 for n11_a_stories_10_k58__1_2_1_2_2_1_1 the n11_a_stories_10_k58__1_2_1_2_2_2_1 car n11_a_stories_10_k58__1_2_1_2_2_3_1 door n11_a_stories_10_k58__1_2_2_1_1 and n11_a_stories_10_k58__1_2_2_2_1_1_1 then n11_a_stories_10_k58__1_2_2_2_2_1 waits n11_a_stories_10_k58__1_2_2_2_3_1_1 for n11_a_stories_10_k58__1_2_2_2_3_2_1_1 dad n11_a_stories_10_k58__1_3_1 . n11_a_stories_10_k58__1 IP-MAT n11_a_stories_10_k58__1_1 NP-SBJ n11_a_stories_10_k58__1->n11_a_stories_10_k58__1_1 n11_a_stories_10_k58__1_2 ILYR n11_a_stories_10_k58__1->n11_a_stories_10_k58__1_2 n11_a_stories_10_k58__1_3 PUNC n11_a_stories_10_k58__1->n11_a_stories_10_k58__1_3 n11_a_stories_10_k58__1_1_1 PRO n11_a_stories_10_k58__1_1->n11_a_stories_10_k58__1_1_1 n11_a_stories_10_k58__1_1_1->n11_a_stories_10_k58__1_1_1_1 n11_a_stories_10_k58__1_2_1 ILYR n11_a_stories_10_k58__1_2->n11_a_stories_10_k58__1_2_1 n11_a_stories_10_k58__1_2_2 CONJP n11_a_stories_10_k58__1_2->n11_a_stories_10_k58__1_2_2 n11_a_stories_10_k58__1_2_1_1 VBP;_Ipr_ n11_a_stories_10_k58__1_2_1->n11_a_stories_10_k58__1_2_1_1 n11_a_stories_10_k58__1_2_1_2 PP-CLR n11_a_stories_10_k58__1_2_1->n11_a_stories_10_k58__1_2_1_2 n11_a_stories_10_k58__1_2_1_1->n11_a_stories_10_k58__1_2_1_1_1 n11_a_stories_10_k58__1_2_1_2_1 P-ROLE n11_a_stories_10_k58__1_2_1_2->n11_a_stories_10_k58__1_2_1_2_1 n11_a_stories_10_k58__1_2_1_2_2 NP n11_a_stories_10_k58__1_2_1_2->n11_a_stories_10_k58__1_2_1_2_2 n11_a_stories_10_k58__1_2_1_2_1->n11_a_stories_10_k58__1_2_1_2_1_1 n11_a_stories_10_k58__1_2_1_2_2_1 D n11_a_stories_10_k58__1_2_1_2_2->n11_a_stories_10_k58__1_2_1_2_2_1 n11_a_stories_10_k58__1_2_1_2_2_2 N n11_a_stories_10_k58__1_2_1_2_2->n11_a_stories_10_k58__1_2_1_2_2_2 n11_a_stories_10_k58__1_2_1_2_2_3 N n11_a_stories_10_k58__1_2_1_2_2->n11_a_stories_10_k58__1_2_1_2_2_3 n11_a_stories_10_k58__1_2_1_2_2_1->n11_a_stories_10_k58__1_2_1_2_2_1_1 n11_a_stories_10_k58__1_2_1_2_2_2->n11_a_stories_10_k58__1_2_1_2_2_2_1 n11_a_stories_10_k58__1_2_1_2_2_3->n11_a_stories_10_k58__1_2_1_2_2_3_1 n11_a_stories_10_k58__1_2_2_1 CONJ n11_a_stories_10_k58__1_2_2->n11_a_stories_10_k58__1_2_2_1 n11_a_stories_10_k58__1_2_2_2 ILYR n11_a_stories_10_k58__1_2_2->n11_a_stories_10_k58__1_2_2_2 n11_a_stories_10_k58__1_2_2_1->n11_a_stories_10_k58__1_2_2_1_1 n11_a_stories_10_k58__1_2_2_2_1 ADVP-NIM n11_a_stories_10_k58__1_2_2_2->n11_a_stories_10_k58__1_2_2_2_1 n11_a_stories_10_k58__1_2_2_2_2 VBP;_Ipr_ n11_a_stories_10_k58__1_2_2_2->n11_a_stories_10_k58__1_2_2_2_2 n11_a_stories_10_k58__1_2_2_2_3 PP-CLR n11_a_stories_10_k58__1_2_2_2->n11_a_stories_10_k58__1_2_2_2_3 n11_a_stories_10_k58__1_2_2_2_1_1 ADV n11_a_stories_10_k58__1_2_2_2_1->n11_a_stories_10_k58__1_2_2_2_1_1 n11_a_stories_10_k58__1_2_2_2_1_1->n11_a_stories_10_k58__1_2_2_2_1_1_1 n11_a_stories_10_k58__1_2_2_2_2->n11_a_stories_10_k58__1_2_2_2_2_1 n11_a_stories_10_k58__1_2_2_2_3_1 P-ROLE n11_a_stories_10_k58__1_2_2_2_3->n11_a_stories_10_k58__1_2_2_2_3_1 n11_a_stories_10_k58__1_2_2_2_3_2 NP n11_a_stories_10_k58__1_2_2_2_3->n11_a_stories_10_k58__1_2_2_2_3_2 n11_a_stories_10_k58__1_2_2_2_3_1->n11_a_stories_10_k58__1_2_2_2_3_1_1 n11_a_stories_10_k58__1_2_2_2_3_2_1 N n11_a_stories_10_k58__1_2_2_2_3_2->n11_a_stories_10_k58__1_2_2_2_3_2_1 n11_a_stories_10_k58__1_2_2_2_3_2_1->n11_a_stories_10_k58__1_2_2_2_3_2_1_1 n11_a_stories_10_k58__1_3->n11_a_stories_10_k58__1_3_1 
( (IP-MAT (NP-SBJ;{MICKEY} (PRO He;{he}))
          (ILYR (ILYR (VBP;_Ipr_ listens;{listen[for]})
                      (PP-CLR (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (N car;{car})
                                  (N door;{door}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBP;_Ipr_ waits;{wait[for]})
                             (PP-CLR (P-ROLE for;{for})
                                     (NP;{FATHER} (N dad;{dad}))))))
          (PUNC .))
  (ID 11_a_stories_10_k58))