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_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]
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_4 He n11_a_stories_10_k58_8 listens n11_a_stories_10_k58_11 for n11_a_stories_10_k58_14 the n11_a_stories_10_k58_16 car n11_a_stories_10_k58_18 door n11_a_stories_10_k58_21 and n11_a_stories_10_k58_25 then n11_a_stories_10_k58_27 waits n11_a_stories_10_k58_30 for n11_a_stories_10_k58_33 dad n11_a_stories_10_k58_35 . n11_a_stories_10_k58_1 IP-MAT n11_a_stories_10_k58_2 NP-SBJ n11_a_stories_10_k58_1->n11_a_stories_10_k58_2 n11_a_stories_10_k58_5 ILYR n11_a_stories_10_k58_1->n11_a_stories_10_k58_5 n11_a_stories_10_k58_34 PUNC n11_a_stories_10_k58_1->n11_a_stories_10_k58_34 n11_a_stories_10_k58_3 PRO n11_a_stories_10_k58_2->n11_a_stories_10_k58_3 n11_a_stories_10_k58_3->n11_a_stories_10_k58_4 n11_a_stories_10_k58_6 ILYR n11_a_stories_10_k58_5->n11_a_stories_10_k58_6 n11_a_stories_10_k58_19 CONJP n11_a_stories_10_k58_5->n11_a_stories_10_k58_19 n11_a_stories_10_k58_7 VBP;_Ipr_ n11_a_stories_10_k58_6->n11_a_stories_10_k58_7 n11_a_stories_10_k58_9 PP-CLR n11_a_stories_10_k58_6->n11_a_stories_10_k58_9 n11_a_stories_10_k58_7->n11_a_stories_10_k58_8 n11_a_stories_10_k58_10 P-ROLE n11_a_stories_10_k58_9->n11_a_stories_10_k58_10 n11_a_stories_10_k58_12 NP n11_a_stories_10_k58_9->n11_a_stories_10_k58_12 n11_a_stories_10_k58_10->n11_a_stories_10_k58_11 n11_a_stories_10_k58_13 D n11_a_stories_10_k58_12->n11_a_stories_10_k58_13 n11_a_stories_10_k58_15 N n11_a_stories_10_k58_12->n11_a_stories_10_k58_15 n11_a_stories_10_k58_17 N n11_a_stories_10_k58_12->n11_a_stories_10_k58_17 n11_a_stories_10_k58_13->n11_a_stories_10_k58_14 n11_a_stories_10_k58_15->n11_a_stories_10_k58_16 n11_a_stories_10_k58_17->n11_a_stories_10_k58_18 n11_a_stories_10_k58_20 CONJ n11_a_stories_10_k58_19->n11_a_stories_10_k58_20 n11_a_stories_10_k58_22 ILYR n11_a_stories_10_k58_19->n11_a_stories_10_k58_22 n11_a_stories_10_k58_20->n11_a_stories_10_k58_21 n11_a_stories_10_k58_23 ADVP-NIM n11_a_stories_10_k58_22->n11_a_stories_10_k58_23 n11_a_stories_10_k58_26 VBP;_Ipr_ n11_a_stories_10_k58_22->n11_a_stories_10_k58_26 n11_a_stories_10_k58_28 PP-CLR n11_a_stories_10_k58_22->n11_a_stories_10_k58_28 n11_a_stories_10_k58_24 ADV n11_a_stories_10_k58_23->n11_a_stories_10_k58_24 n11_a_stories_10_k58_24->n11_a_stories_10_k58_25 n11_a_stories_10_k58_26->n11_a_stories_10_k58_27 n11_a_stories_10_k58_29 P-ROLE n11_a_stories_10_k58_28->n11_a_stories_10_k58_29 n11_a_stories_10_k58_31 NP n11_a_stories_10_k58_28->n11_a_stories_10_k58_31 n11_a_stories_10_k58_29->n11_a_stories_10_k58_30 n11_a_stories_10_k58_32 N n11_a_stories_10_k58_31->n11_a_stories_10_k58_32 n11_a_stories_10_k58_32->n11_a_stories_10_k58_33 n11_a_stories_10_k58_34->n11_a_stories_10_k58_35
( (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))