TSPC 11_a_stories_10

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

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

arc(r_0011_0002__listens_r_0011_0003__for,r_0011_0001__He,arg0).
arc(r_0011_0002__listens_r_0011_0003__for,r_0011_0004__the_r_0011_0005__car_r_0011_0006__door,arg1).
arc(r_0011_0007__and,r_0011_0002__listens_r_0011_0003__for,conj1).
arc(r_0011_0007__and,r_0011_0009__waits_r_0011_0010__for,conj2).
arc(r_0011_0009__waits_r_0011_0010__for,r_0011_0001__He,arg0).
arc(r_0011_0009__waits_r_0011_0010__for,r_0011_0008__then,nim).
arc(r_0011_0009__waits_r_0011_0010__for,r_0011_0011__dad,arg1).

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_0003__FOR,R_0011_0008__THEN,R_0011_0011__DAD,R_0011_0009__WAITS_R_0011_0010__FOR,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_0010__FOR)
      & r_0011_0009__waits_r_0011_0010__for(R_0011_0009__WAITS_R_0011_0010__FOR)
      & has_arg1(R_0011_0009__WAITS_R_0011_0010__FOR,R_0011_0011__DAD)
      & has_nim(R_0011_0009__WAITS_R_0011_0010__FOR,R_0011_0008__THEN)
      & has_arg0(R_0011_0009__WAITS_R_0011_0010__FOR,R_0011_0001__HE)
      & has_conj1(R_0011_0007__AND,R_0011_0002__LISTENS_R_0011_0003__FOR)
      & r_0011_0002__listens_r_0011_0003__for(R_0011_0002__LISTENS_R_0011_0003__FOR)
      & has_arg1(R_0011_0002__LISTENS_R_0011_0003__FOR,R_0011_0004__THE_R_0011_0005__CAR_R_0011_0006__DOOR)
      & has_arg0(R_0011_0002__LISTENS_R_0011_0003__FOR,R_0011_0001__HE) ) ).