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_0022__when, conj2).
arc(r_0011_0022__when, r_0011_0024__had, restriction).
arc(r_0011_0022__when, r_0011_0029__was, scope).
arc(r_0011_0024__had, r_0011_0025__done, scope).
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_0031__burnt, r_0011_0026__the_r_0011_0027__bacon, arg1).
arc(r_0011_0031__burnt, r_0011_0030__all, nim92).
arc(r_0011_0031__burnt, z_000_11_a_stories_10_k03_90, 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_1_I,R_11_8_A_PIECE,R_11_11_BACON,R_11_13_THE_PAN,R_11_18_WAS,R_11_16_THE_GAS,R_11_20_HIGH,R_11_19_TOO] :
( the_gas(R_11_3_THE_GAS)
& on(R_11_5_ON)
& i(R_11_1_I)
& bacon(R_11_11_BACON)
& the_pan(R_11_13_THE_PAN)
& the_gas(R_11_16_THE_GAS)
& too(R_11_19_TOO)
& ! [R_11_24_HAD_DONE,R_11_26_THE_BACON] :
( ( the_bacon(R_11_26_THE_BACON)
& had_done(R_11_24_HAD_DONE,R_11_1_I,R_11_26_THE_BACON) )
=> ? [R_11_29_WAS_BURNT,Z_11_A_STORIES_10_K03_90,R_11_30_ALL] :
( all(R_11_30_ALL)
& was_burnt(R_11_29_WAS_BURNT,Z_11_A_STORIES_10_K03_90,R_11_26_THE_BACON)
& nim92(R_11_29_WAS_BURNT,R_11_30_ALL) ) )
& conj2(CONJ2)
& 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) ) ).
( (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 (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 (PP-SCON (P-CONN when;{when})
(IP-ADV (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))