11_a_stories_10_k03
I turned the gas on and put a piece of bacon in the pan but the gas was too high and when I had done the bacon it was all burnt.
arc(r_0011_0002__turned, r_0011_0001__I, arg0).
arc(r_0011_0002__turned, r_0011_0003__the_r_0011_0004__gas, arg1).
arc(r_0011_0002__turned, r_0011_0005__on, clr18).
arc(r_0011_0006__and, r_0011_0002__turned, conj1).
arc(r_0011_0006__and, r_0011_0007__put, conj2).
arc(r_0011_0007__put, r_0011_0001__I, arg0).
arc(r_0011_0007__put, r_0011_0008__a_r_0011_0009__piece, arg1).
arc(r_0011_0007__put, r_0011_0013__the_r_0011_0014__pan, r_0011_0012__in_clr41).
arc(r_0011_0008__a_r_0011_0009__piece, r_0011_0011__bacon, r_0011_0010__of).
arc(r_0011_0015__but, r_0011_0006__and, conj1).
arc(r_0011_0015__but, r_0011_0018__was, conj2).
arc(r_0011_0018__was, r_0011_0016__the_r_0011_0017__gas, arg0).
arc(r_0011_0018__was, r_0011_0020__high, prd).
arc(r_0011_0020__high, r_0011_0019__too, qual58).
arc(r_0011_0021__and, r_0011_0015__but, conj1).
arc(r_0011_0021__and, r_0011_0029__was, conj2).
arc(r_0011_0024__had, r_0011_0025__done, scope).
arc(r_0011_0024__had, z_000_11_a_stories_10_k03_67, nim69).
arc(r_0011_0025__done, r_0011_0001__I, arg0).
arc(r_0011_0025__done, r_0011_0026__the_r_0011_0027__bacon, arg1).
arc(r_0011_0029__was, r_0011_0031__burnt, scope).
arc(r_0011_0029__was, z_000_11_a_stories_10_k03_67, nim67).
arc(r_0011_0031__burnt, r_0011_0008__a_r_0011_0009__piece, arg1).
arc(r_0011_0031__burnt, r_0011_0030__all, nim93).
arc(r_0011_0031__burnt, z_000_11_a_stories_10_k03_91, arg0).
fof(formula,axiom,
? [R_11_21_AND,R_11_15_BUT,R_11_6_AND,R_11_2_TURNED,R_11_3_THE_GAS,R_11_5_ON,R_11_7_PUT,R_11_13_THE_PAN,R_11_18_WAS,R_11_16_THE_GAS,R_11_20_HIGH,R_11_19_TOO,R_11_29_WAS_BURNT,Z_11_A_STORIES_10_K03_91,R_11_8_A_PIECE,R_11_11_BACON,R_11_30_ALL,R_11_24_HAD_DONE,R_11_1_I,R_11_26_THE_BACON,Z_11_A_STORIES_10_K03_67] :
( the_gas(R_11_3_THE_GAS)
& on(R_11_5_ON)
& the_pan(R_11_13_THE_PAN)
& the_gas(R_11_16_THE_GAS)
& too(R_11_19_TOO)
& bacon(R_11_11_BACON)
& all(R_11_30_ALL)
& i(R_11_1_I)
& the_bacon(R_11_26_THE_BACON)
& and(R_11_21_AND)
& conj1(R_11_21_AND,R_11_15_BUT)
& but(R_11_15_BUT)
& conj1(R_11_15_BUT,R_11_6_AND)
& and(R_11_6_AND)
& conj1(R_11_6_AND,R_11_2_TURNED)
& turned(R_11_2_TURNED,R_11_1_I,R_11_3_THE_GAS)
& clr18(R_11_2_TURNED,R_11_5_ON)
& conj2(R_11_6_AND,R_11_7_PUT)
& put(R_11_7_PUT,R_11_1_I,R_11_8_A_PIECE)
& a_piece(R_11_8_A_PIECE)
& of(R_11_8_A_PIECE,R_11_11_BACON)
& in_clr41(R_11_7_PUT,R_11_13_THE_PAN)
& conj2(R_11_15_BUT,R_11_18_WAS)
& was(R_11_18_WAS,R_11_16_THE_GAS,R_11_20_HIGH)
& high(R_11_20_HIGH)
& qual58(R_11_20_HIGH,R_11_19_TOO)
& conj2(R_11_21_AND,R_11_29_WAS_BURNT)
& was_burnt(R_11_29_WAS_BURNT,Z_11_A_STORIES_10_K03_91,R_11_8_A_PIECE)
& nim67(R_11_29_WAS_BURNT,Z_11_A_STORIES_10_K03_67)
& nim93(R_11_29_WAS_BURNT,R_11_30_ALL)
& had_done(R_11_24_HAD_DONE,R_11_1_I,R_11_26_THE_BACON)
& nim69(R_11_24_HAD_DONE,Z_11_A_STORIES_10_K03_67) ) ).
( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(ILYR (ILYR (VBD;_Tn.p_ turned;{turn[on]})
(NP-OB1;{GAS} (D the;{the})
(N gas;{gas}))
(ADVP-CLR (RP on;{on})))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn.pr_ put;{put[in]})
(NP-OB1;{BACON} (D a;{a})
(N piece;{piece})
(PP (P-ROLE of;{of})
(NP (N bacon;{bacon}))))
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N pan;{pan})))))))
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{GAS} (D the;{the})
(N gas;{gas}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV too;{too}))
(ADJ high;{high}))))))
(CONJP (CONJ and;{and})
(ILYR (NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ (PRO I;{I}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (DON;_Tn_ done;{do})
(NP-OB1;{BACON} (D the;{the})
(N bacon;{bacon})))))
(NP-SBJ;{BACON} (PRO it;{it}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV all;{all}))
(VVN;_Tn_ burnt;{burnt})))))
(PUNC .))
(ID 11_a_stories_10_k03))