9_a_stories_10_k03
I turned the gas up to high and the fat spat all over the place.
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, z_000_9_a_stories_10_k03_17, r_0009_0005__up_to_clr17).
arc(r_0009_0007__and, r_0009_0002__turned, conj1).
arc(r_0009_0007__and, r_0009_0010__spat, conj2).
arc(r_0009_0010__spat, r_0009_0008__the_r_0009_0009__fat, arg0).
arc(r_0009_0010__spat, r_0009_0013__the_r_0009_0014__place, r_0009_0011__all_r_0009_0012__over_clr37).
arc(z_000_9_a_stories_10_k03_17, r_0009_0006__high, attrib18).
fof(formula,axiom,
? [R_9_7_AND,R_9_2_TURNED,R_9_1_I,R_9_3_THE_GAS,Z_9_A_STORIES_10_K03_17,R_9_6_HIGH,R_9_10_SPAT,R_9_8_THE_FAT,R_9_13_THE_PLACE] :
( i(R_9_1_I)
& the_gas(R_9_3_THE_GAS)
& high(R_9_6_HIGH)
& the_fat(R_9_8_THE_FAT)
& the_place(R_9_13_THE_PLACE)
& and(R_9_7_AND)
& conj1(R_9_7_AND,R_9_2_TURNED)
& turned(R_9_2_TURNED,R_9_1_I,R_9_3_THE_GAS)
& up_to_clr17(R_9_2_TURNED,Z_9_A_STORIES_10_K03_17)
& z_9_a_stories_10_k03_17(Z_9_A_STORIES_10_K03_17)
& attrib18(Z_9_A_STORIES_10_K03_17,R_9_6_HIGH)
& conj2(R_9_7_AND,R_9_10_SPAT)
& spat(R_9_10_SPAT,R_9_8_THE_FAT)
& all_over_clr37(R_9_10_SPAT,R_9_13_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})
(NP (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 (ADV all;{all})
(P-ROLE over;{over})
(NP (D the;{the})
(N place;{place}))))))
(PUNC .))
(ID 9_a_stories_10_k03))