TSPC 9_a_stories_10

9_a_stories_10_k03
I turned the gas up to high and the fat spat all over the place.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn.pr_ turned;{turn[up_to]})
                      (NP-OB1;{GAS} (D the;{the})
                                    (N gas;{gas}))
                      (PP-CLR (P-ROLE up_to;{up_to})
                              (ADJP (ADJ high;{high}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{FAT} (D the;{the})
                                           (N fat;{fat}))
                             (VBD;_Ipr_ spat;{spit[over]})
                             (PP-CLR (ADVP-NIM (ADV all;{all}))
                                     (P-ROLE over;{over})
                                     (NP (D the;{the})
                                         (N place;{place}))))))
          (PUNC .))
  (ID 9_a_stories_10_k03))

arc(r_0009_0002__turned,r_0009_0001__I,arg0).
arc(r_0009_0002__turned,r_0009_0003__the_r_0009_0004__gas,arg1).
arc(r_0009_0002__turned,r_0009_0006__high,r_0009_0005__up_to__clr).
arc(r_0009_0007__and,r_0009_0002__turned,conj1).
arc(r_0009_0007__and,r_0009_0010__spat_r_0009_0011__all_r_0009_0012__over,conj2).
arc(r_0009_0010__spat_r_0009_0011__all_r_0009_0012__over,r_0009_0008__the_r_0009_0009__fat,arg0).
arc(r_0009_0010__spat_r_0009_0011__all_r_0009_0012__over,r_0009_0013__the_r_0009_0014__place,arg1).

fof(formula,axiom,
    ? [R_0009_0001__I,R_0009_0003__THE_R_0009_0004__GAS,R_0009_0006__HIGH,R_0009_0002__TURNED,R_0009_0008__THE_R_0009_0009__FAT,R_0009_0013__THE_R_0009_0014__PLACE,R_0009_0010__SPAT_R_0009_0011__ALL_R_0009_0012__OVER,R_0009_0007__AND] :
      ( r_0009_0001__I(R_0009_0001__I)
      & r_0009_0003__the_r_0009_0004__gas(R_0009_0003__THE_R_0009_0004__GAS)
      & r_0009_0006__high(R_0009_0006__HIGH)
      & r_0009_0008__the_r_0009_0009__fat(R_0009_0008__THE_R_0009_0009__FAT)
      & r_0009_0013__the_r_0009_0014__place(R_0009_0013__THE_R_0009_0014__PLACE)
      & r_0009_0007__and(R_0009_0007__AND)
      & has_conj2(R_0009_0007__AND,R_0009_0010__SPAT_R_0009_0011__ALL_R_0009_0012__OVER)
      & r_0009_0010__spat_r_0009_0011__all_r_0009_0012__over(R_0009_0010__SPAT_R_0009_0011__ALL_R_0009_0012__OVER)
      & has_arg1(R_0009_0010__SPAT_R_0009_0011__ALL_R_0009_0012__OVER,R_0009_0013__THE_R_0009_0014__PLACE)
      & has_arg0(R_0009_0010__SPAT_R_0009_0011__ALL_R_0009_0012__OVER,R_0009_0008__THE_R_0009_0009__FAT)
      & has_conj1(R_0009_0007__AND,R_0009_0002__TURNED)
      & r_0009_0002__turned(R_0009_0002__TURNED)
      & has_r_0009_0005__up_to__clr(R_0009_0002__TURNED,R_0009_0006__HIGH)
      & has_arg1(R_0009_0002__TURNED,R_0009_0003__THE_R_0009_0004__GAS)
      & has_arg0(R_0009_0002__TURNED,R_0009_0001__I) ) ).