15_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.
( (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})
(NLYR (D the;{the})
(NS fires;{fire})))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ safe;{safe}))))))))))
(PUNC .))
(ID 15_a_beeton_1861;2162-3))
arc(r_0015_0004__appears,r_0015_0002__bedtime,r_0015_0001__At__nim).
arc(r_0015_0004__appears,r_0015_0003__he,arg0).
arc(r_0015_0004__appears,r_0015_0006__the_r_0015_0007__candles,r_0015_0005__with__nim).
arc(r_0015_0010__locks_r_0015_0011__up,r_0015_0003__he,arg0).
arc(r_0015_0010__locks_r_0015_0011__up,r_0015_0012__the_r_0015_0013__plate,arg1).
arc(r_0015_0015__secures,r_0015_0003__he,arg0).
arc(r_0015_0015__secures,r_0015_0017__and,arg1).
arc(r_0015_0017__and,r_0015_0016__doors,conj1).
arc(r_0015_0017__and,r_0015_0018__windows,conj2).
arc(r_0015_0020__and,r_0015_0010__locks_r_0015_0011__up,conj1).
arc(r_0015_0020__and,r_0015_0015__secures,conj2).
arc(r_0015_0020__and,r_0015_0021__sees,conj3).
arc(r_0015_0021__sees,r_0015_0003__he,arg0).
arc(r_0015_0021__sees,r_0015_0023__all__quant,arg1).
arc(r_0015_0023__all__quant,r_0015_0026__are,scope).
arc(r_0015_0023__all__quant,z_0015_5016,restriction).
arc(r_0015_0026__are,r_0015_0027__safe,prd).
arc(r_0015_0026__are,z_0015_5016,arg0).
arc(z_0015_5001,r_0015_0004__appears,conj1).
arc(z_0015_5001,r_0015_0020__and,conj2).
arc(z_0015_5016,r_0015_0024__the_r_0015_0025__fires,nim).
fof(formula,axiom,
? [R_0015_0002__BEDTIME,R_0015_0003__HE,R_0015_0006__THE_R_0015_0007__CANDLES,R_0015_0004__APPEARS,R_0015_0012__THE_R_0015_0013__PLATE,R_0015_0010__LOCKS_R_0015_0011__UP,R_0015_0016__DOORS,R_0015_0018__WINDOWS,R_0015_0017__AND,R_0015_0015__SECURES,R_0015_0021__SEES,R_0015_0020__AND,Z_0015_5001] :
( r_0015_0002__bedtime(R_0015_0002__BEDTIME)
& r_0015_0003__he(R_0015_0003__HE)
& r_0015_0006__the_r_0015_0007__candles(R_0015_0006__THE_R_0015_0007__CANDLES)
& r_0015_0012__the_r_0015_0013__plate(R_0015_0012__THE_R_0015_0013__PLATE)
& r_0015_0016__doors(R_0015_0016__DOORS)
& r_0015_0018__windows(R_0015_0018__WINDOWS)
& z_0015_5001(Z_0015_5001)
& has_conj2(Z_0015_5001,R_0015_0020__AND)
& r_0015_0020__and(R_0015_0020__AND)
& has_conj3(R_0015_0020__AND,R_0015_0021__SEES)
& r_0015_0021__sees(R_0015_0021__SEES)
& ! [Z_0015_5016,R_0015_0024__THE_R_0015_0025__FIRES] :
( ( r_0015_0024__the_r_0015_0025__fires(R_0015_0024__THE_R_0015_0025__FIRES)
& z_0015_5016(Z_0015_5016)
& has_nim(Z_0015_5016,R_0015_0024__THE_R_0015_0025__FIRES) )
=> ? [R_0015_0027__SAFE,R_0015_0026__ARE] :
( r_0015_0027__safe(R_0015_0027__SAFE)
& r_0015_0026__are(R_0015_0026__ARE)
& has_arg0(R_0015_0026__ARE,Z_0015_5016)
& has_prd(R_0015_0026__ARE,R_0015_0027__SAFE) ) )
& has_arg0(R_0015_0021__SEES,R_0015_0003__HE)
& has_conj2(R_0015_0020__AND,R_0015_0015__SECURES)
& r_0015_0015__secures(R_0015_0015__SECURES)
& has_arg1(R_0015_0015__SECURES,R_0015_0017__AND)
& r_0015_0017__and(R_0015_0017__AND)
& has_conj2(R_0015_0017__AND,R_0015_0018__WINDOWS)
& has_conj1(R_0015_0017__AND,R_0015_0016__DOORS)
& has_arg0(R_0015_0015__SECURES,R_0015_0003__HE)
& has_conj1(R_0015_0020__AND,R_0015_0010__LOCKS_R_0015_0011__UP)
& r_0015_0010__locks_r_0015_0011__up(R_0015_0010__LOCKS_R_0015_0011__UP)
& has_arg1(R_0015_0010__LOCKS_R_0015_0011__UP,R_0015_0012__THE_R_0015_0013__PLATE)
& has_arg0(R_0015_0010__LOCKS_R_0015_0011__UP,R_0015_0003__HE)
& has_conj1(Z_0015_5001,R_0015_0004__APPEARS)
& r_0015_0004__appears(R_0015_0004__APPEARS)
& has_r_0015_0005__with__nim(R_0015_0004__APPEARS,R_0015_0006__THE_R_0015_0007__CANDLES)
& has_arg0(R_0015_0004__APPEARS,R_0015_0003__HE)
& has_r_0015_0001__At__nim(R_0015_0004__APPEARS,R_0015_0002__BEDTIME) ) ).