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_11_7_AND,R_11_2_LISTENS,R_11_4_THE_CAR_DOOR,R_11_9_WAITS,R_11_1_HE,R_11_8_THEN,R_11_11_DAD] :
      ( the_car_door(R_11_4_THE_CAR_DOOR)
      & he(R_11_1_HE)
      & then(R_11_8_THEN)
      & dad(R_11_11_DAD)
      & and(R_11_7_AND)
      & conj1(R_11_7_AND,R_11_2_LISTENS)
      & listens(R_11_2_LISTENS,R_11_1_HE)
      & for_clr12(R_11_2_LISTENS,R_11_4_THE_CAR_DOOR)
      & conj2(R_11_7_AND,R_11_9_WAITS)
      & waits(R_11_9_WAITS,R_11_1_HE)
      & nim23(R_11_9_WAITS,R_11_8_THEN)
      & for_clr31(R_11_9_WAITS,R_11_11_DAD) ) ).


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))