TSPC 336_a_dick

336_a_dick_1952
He hesitated a moment and then tossed the rock high in the air.

( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (ILYR (ILYR (VBD;_I_ hesitated;{hesitate})
                      (NP-NIM (D a;{a})
                              (N moment;{moment})))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBD;_Tn.pr_ tossed;{toss[in]})
                             (NP-OB1 (D the;{the})
                                     (N rock;{rock}))
                             (ADVP-NIM (ADV high;{high}))
                             (PP-CLR (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N air;{air}))))))
          (PUNC .))
  (ID 336_a_dick_1952))

arc(r_0336_0002__hesitated,r_0336_0001__He,arg0).
arc(r_0336_0002__hesitated,r_0336_0003__a_r_0336_0004__moment,nim).
arc(r_0336_0005__and,r_0336_0002__hesitated,conj1).
arc(r_0336_0005__and,r_0336_0007__tossed_r_0336_0011__in,conj2).
arc(r_0336_0007__tossed_r_0336_0011__in,r_0336_0001__He,arg0).
arc(r_0336_0007__tossed_r_0336_0011__in,r_0336_0006__then,nim).
arc(r_0336_0007__tossed_r_0336_0011__in,r_0336_0008__the_r_0336_0009__rock,arg1).
arc(r_0336_0007__tossed_r_0336_0011__in,r_0336_0010__high,nim).
arc(r_0336_0007__tossed_r_0336_0011__in,r_0336_0012__the_r_0336_0013__air,arg2).

fof(formula,axiom,
    ? [R_0336_0001__HE,R_0336_0003__A_R_0336_0004__MOMENT,R_0336_0002__HESITATED,R_0336_0006__THEN,R_0336_0008__THE_R_0336_0009__ROCK,R_0336_0010__HIGH,R_0336_0012__THE_R_0336_0013__AIR,R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0005__AND] :
      ( r_0336_0001__He(R_0336_0001__HE)
      & r_0336_0003__a_r_0336_0004__moment(R_0336_0003__A_R_0336_0004__MOMENT)
      & r_0336_0006__then(R_0336_0006__THEN)
      & r_0336_0008__the_r_0336_0009__rock(R_0336_0008__THE_R_0336_0009__ROCK)
      & r_0336_0010__high(R_0336_0010__HIGH)
      & r_0336_0012__the_r_0336_0013__air(R_0336_0012__THE_R_0336_0013__AIR)
      & r_0336_0005__and(R_0336_0005__AND)
      & has_conj2(R_0336_0005__AND,R_0336_0007__TOSSED_R_0336_0011__IN)
      & r_0336_0007__tossed_r_0336_0011__in(R_0336_0007__TOSSED_R_0336_0011__IN)
      & has_arg2(R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0012__THE_R_0336_0013__AIR)
      & has_nim(R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0010__HIGH)
      & has_arg1(R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0008__THE_R_0336_0009__ROCK)
      & has_nim(R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0006__THEN)
      & has_arg0(R_0336_0007__TOSSED_R_0336_0011__IN,R_0336_0001__HE)
      & has_conj1(R_0336_0005__AND,R_0336_0002__HESITATED)
      & r_0336_0002__hesitated(R_0336_0002__HESITATED)
      & has_nim(R_0336_0002__HESITATED,R_0336_0003__A_R_0336_0004__MOMENT)
      & has_arg0(R_0336_0002__HESITATED,R_0336_0001__HE) ) ).