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,
? [R_0016_0002__BEDTIME,R_0016_0003__HE,R_0016_0006__THE_R_0016_0007__CANDLES,R_0016_0004__APPEARS,R_0016_0009__HE,R_0016_0012__THE_R_0016_0013__PLATE,R_0016_0010__LOCKS_R_0016_0011__UP,R_0016_0016__DOORS,R_0016_0018__WINDOWS,R_0016_0017__AND,R_0016_0015__SECURES,R_0016_0021__SEES,R_0016_0020__AND,Z_000_16_A_BEETON_1861_2] :
( r_0016_0002__bedtime(R_0016_0002__BEDTIME)
& r_0016_0003__he(R_0016_0003__HE)
& r_0016_0006__the_r_0016_0007__candles(R_0016_0006__THE_R_0016_0007__CANDLES)
& r_0016_0009__he(R_0016_0009__HE)
& r_0016_0012__the_r_0016_0013__plate(R_0016_0012__THE_R_0016_0013__PLATE)
& r_0016_0016__doors(R_0016_0016__DOORS)
& r_0016_0018__windows(R_0016_0018__WINDOWS)
& z_000_16_a_beeton_1861_2(Z_000_16_A_BEETON_1861_2)
& has_conj2(Z_000_16_A_BEETON_1861_2,R_0016_0020__AND)
& r_0016_0020__and(R_0016_0020__AND)
& has_conj3(R_0016_0020__AND,R_0016_0021__SEES)
& r_0016_0021__sees(R_0016_0021__SEES)
& ! [R_0016_0024__THE_R_0016_0025__FIRES] :
( r_0016_0024__the_r_0016_0025__fires(R_0016_0024__THE_R_0016_0025__FIRES)
=> ? [R_0016_0027__SAFE,R_0016_0022__THAT_R_0016_0026__ARE] :
( r_0016_0027__safe(R_0016_0027__SAFE)
& r_0016_0022__that_r_0016_0026__are(R_0016_0022__THAT_R_0016_0026__ARE)
& has_prd(R_0016_0022__THAT_R_0016_0026__ARE,R_0016_0027__SAFE)
& has_arg0(R_0016_0022__THAT_R_0016_0026__ARE,R_0016_0024__THE_R_0016_0025__FIRES) ) )
& has_arg0(R_0016_0021__SEES,R_0016_0009__HE)
& has_conj2(R_0016_0020__AND,R_0016_0015__SECURES)
& r_0016_0015__secures(R_0016_0015__SECURES)
& has_arg1(R_0016_0015__SECURES,R_0016_0017__AND)
& r_0016_0017__and(R_0016_0017__AND)
& has_conj2(R_0016_0017__AND,R_0016_0018__WINDOWS)
& has_conj1(R_0016_0017__AND,R_0016_0016__DOORS)
& has_arg0(R_0016_0015__SECURES,R_0016_0009__HE)
& has_conj1(R_0016_0020__AND,R_0016_0010__LOCKS_R_0016_0011__UP)
& r_0016_0010__locks_r_0016_0011__up(R_0016_0010__LOCKS_R_0016_0011__UP)
& has_arg1(R_0016_0010__LOCKS_R_0016_0011__UP,R_0016_0012__THE_R_0016_0013__PLATE)
& has_arg0(R_0016_0010__LOCKS_R_0016_0011__UP,R_0016_0009__HE)
& has_conj1(Z_000_16_A_BEETON_1861_2,R_0016_0004__APPEARS)
& r_0016_0004__appears(R_0016_0004__APPEARS)
& has_r_0016_0005__with_nim18(R_0016_0004__APPEARS,R_0016_0006__THE_R_0016_0007__CANDLES)
& has_arg0(R_0016_0004__APPEARS,R_0016_0003__HE)
& has_r_0016_0001__At_nim7(R_0016_0004__APPEARS,R_0016_0002__BEDTIME) ) ).
( (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))