TSPC 7_a_stories_10

7_a_stories_10_k58
He whimpered continually until someone came up the stairs and ‘rescued’ him.

( (IP-MAT (NP-SBJ;{MICKEY} (PRO He;{he}))
          (VBD;_I_ whimpered;{whimper})
          (ADVP-NIM (ADV continually;{continually}))
          (PP-SCON (P-CONN until;{until})
                   (IP-ADV (NP-SBJ (D;_nphd_ someone;{someone}))
                           (ILYR (ILYR (VBD;_Ipr_ came;{come[up]})
                                       (PP-CLR (P-ROLE up;{up})
                                               (NP (D the;{the})
                                                   (NS stairs;{stair}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (PULQ <lsquo>)
                                              (VBD;_Tn_ rescued;{rescue})
                                              (PURQ <rsquo>)
                                              (NP-OB1;{MICKEY} (PRO him;{he})))))))
          (PUNC .))
  (ID 7_a_stories_10_k58))

arc(r_0007_0002__whimpered,r_0007_0001__He,arg0).
arc(r_0007_0002__whimpered,r_0007_0003__continually,nim).
arc(r_0007_0004__until,r_0007_0002__whimpered,scope).
arc(r_0007_0004__until,r_0007_0010__and,restriction).
arc(r_0007_0006__came_r_0007_0007__up,r_0007_0005__someone,arg0).
arc(r_0007_0006__came_r_0007_0007__up,r_0007_0008__the_r_0007_0009__stairs,arg1).
arc(r_0007_0010__and,r_0007_0006__came_r_0007_0007__up,conj1).
arc(r_0007_0010__and,r_0007_0012__rescued,conj2).
arc(r_0007_0012__rescued,r_0007_0001__He,arg1).
arc(r_0007_0012__rescued,r_0007_0005__someone,arg0).

fof(formula,axiom,
    ? [R_0007_0001__HE,R_0007_0003__CONTINUALLY,R_0007_0002__WHIMPERED,R_0007_0005__SOMEONE,R_0007_0008__THE_R_0007_0009__STAIRS,R_0007_0006__CAME_R_0007_0007__UP,R_0007_0012__RESCUED,R_0007_0010__AND,R_0007_0004__UNTIL] :
      ( r_0007_0001__He(R_0007_0001__HE)
      & r_0007_0003__continually(R_0007_0003__CONTINUALLY)
      & r_0007_0005__someone(R_0007_0005__SOMEONE)
      & r_0007_0008__the_r_0007_0009__stairs(R_0007_0008__THE_R_0007_0009__STAIRS)
      & r_0007_0004__until(R_0007_0004__UNTIL)
      & has_conj1(R_0007_0004__UNTIL,R_0007_0010__AND)
      & r_0007_0010__and(R_0007_0010__AND)
      & has_conj2(R_0007_0010__AND,R_0007_0012__RESCUED)
      & r_0007_0012__rescued(R_0007_0012__RESCUED)
      & has_arg0(R_0007_0012__RESCUED,R_0007_0005__SOMEONE)
      & has_arg1(R_0007_0012__RESCUED,R_0007_0001__HE)
      & has_conj1(R_0007_0010__AND,R_0007_0006__CAME_R_0007_0007__UP)
      & r_0007_0006__came_r_0007_0007__up(R_0007_0006__CAME_R_0007_0007__UP)
      & has_arg1(R_0007_0006__CAME_R_0007_0007__UP,R_0007_0008__THE_R_0007_0009__STAIRS)
      & has_arg0(R_0007_0006__CAME_R_0007_0007__UP,R_0007_0005__SOMEONE)
      & has_conj2(R_0007_0004__UNTIL,R_0007_0002__WHIMPERED)
      & r_0007_0002__whimpered(R_0007_0002__WHIMPERED)
      & has_nim(R_0007_0002__WHIMPERED,R_0007_0003__CONTINUALLY)
      & has_arg0(R_0007_0002__WHIMPERED,R_0007_0001__HE) ) ).