16_a_beeton_1861
At bedtime he appears with the candles; he locks up the plate, secures doors and windows, and sees that all the fires are safe.
arc(r_0016_0004__appears, r_0016_0002__bedtime, r_0016_0001__At_nim7).
arc(r_0016_0004__appears, r_0016_0003__he, arg0).
arc(r_0016_0004__appears, r_0016_0006__the_r_0016_0007__candles, r_0016_0005__with_nim18).
arc(r_0016_0010__locks_r_0016_0011__up, r_0016_0009__he, arg0).
arc(r_0016_0010__locks_r_0016_0011__up, r_0016_0012__the_r_0016_0013__plate, arg1).
arc(r_0016_0015__secures, r_0016_0009__he, arg0).
arc(r_0016_0015__secures, r_0016_0017__and, arg1).
arc(r_0016_0017__and, r_0016_0016__doors, conj1).
arc(r_0016_0017__and, r_0016_0018__windows, conj2).
arc(r_0016_0020__and, r_0016_0010__locks_r_0016_0011__up, conj1).
arc(r_0016_0020__and, r_0016_0015__secures, conj2).
arc(r_0016_0020__and, r_0016_0021__sees, conj3).
arc(r_0016_0021__sees, r_0016_0009__he, arg0).
arc(r_0016_0021__sees, r_0016_0023__all_quant, arg1).
arc(r_0016_0022__that_r_0016_0026__are, r_0016_0024__the_r_0016_0025__fires, arg0).
arc(r_0016_0022__that_r_0016_0026__are, r_0016_0027__safe, prd).
arc(r_0016_0023__all_quant, r_0016_0022__that_r_0016_0026__are, scope).
arc(r_0016_0023__all_quant, r_0016_0024__the_r_0016_0025__fires, restriction).
arc(z_000_16_a_beeton_1861_2, r_0016_0004__appears, conj1).
arc(z_000_16_a_beeton_1861_2, r_0016_0020__and, conj2).
fof(formula,axiom,
? [Z_16_A_BEETON_1861_2,R_16_4_APPEARS,R_16_3_HE,R_16_2_BEDTIME,R_16_6_THE_CANDLES,R_16_20_AND,R_16_10_LOCKS_UP,R_16_12_THE_PLATE,R_16_15_SECURES,R_16_17_AND,R_16_16_DOORS,R_16_18_WINDOWS,R_16_21_SEES,R_16_9_HE] :
( he(R_16_3_HE)
& bedtime(R_16_2_BEDTIME)
& the_candles(R_16_6_THE_CANDLES)
& the_plate(R_16_12_THE_PLATE)
& doors(R_16_16_DOORS)
& windows(R_16_18_WINDOWS)
& he(R_16_9_HE)
& z_16_a_beeton_1861_2(Z_16_A_BEETON_1861_2)
& conj1(Z_16_A_BEETON_1861_2,R_16_4_APPEARS)
& appears(R_16_4_APPEARS,R_16_3_HE)
& at_nim7(R_16_4_APPEARS,R_16_2_BEDTIME)
& with_nim18(R_16_4_APPEARS,R_16_6_THE_CANDLES)
& conj2(Z_16_A_BEETON_1861_2,R_16_20_AND)
& and(R_16_20_AND)
& conj1(R_16_20_AND,R_16_10_LOCKS_UP)
& locks_up(R_16_10_LOCKS_UP,R_16_9_HE,R_16_12_THE_PLATE)
& conj2(R_16_20_AND,R_16_15_SECURES)
& secures(R_16_15_SECURES,R_16_9_HE,R_16_17_AND)
& and(R_16_17_AND)
& conj1(R_16_17_AND,R_16_16_DOORS)
& conj2(R_16_17_AND,R_16_18_WINDOWS)
& conj3(R_16_20_AND,R_16_21_SEES)
& ! [R_16_24_THE_FIRES] :
( the_fires(R_16_24_THE_FIRES)
=> ? [R_16_22_THAT_ARE,R_16_27_SAFE] :
( safe(R_16_27_SAFE)
& that_are(R_16_22_THAT_ARE,R_16_24_THE_FIRES,R_16_27_SAFE) ) )
& arg1(ARG1)
& sees(R_16_21_SEES,R_16_9_HE) ) ).
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE At;{at})
(NP (N bedtime;{bedtime})))
(NP-SBJ;{BUTLER} (PRO he;{he}))
(VBP;_I_ appears;{appear})
(PP-NIM (P-ROLE with;{with})
(NP (D the;{the})
(NS candles;{candle}))))
(PUNC ;)
(CONJP (ILYR (NP-SBJ;{BUTLER} (PRO he;{he}))
(ILYR (ILYR (VBP;_phr_Vn<=>p_ locks;{lock[up]})
(RP up;{up})
(NP-OB1 (D the;{the})
(N plate;{plate})))
(PUNC ,)
(CONJP (ILYR (VBP;_Tn_ secures;{secure})
(NP-OB1 (NLYR (NLYR (NS doors;{door}))
(CONJP (CONJ and;{and})
(NLYR (NS windows;{window})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tf_ sees;{see})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (Q;_nphd_ all;{all})
(D the;{the})
(NS fires;{fire}))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ safe;{safe}))))))))))
(PUNC .))
(ID 16_a_beeton_1861;2162-3))