Context                Previous, Next                Top


13_a_beeton_1861
He now proceeds to the drawing-room, arranges the fireplace, and sees to the lights;

%3 r_0013_0003__proceeds proceeds r_0013_0001__He He r_0013_0003__proceeds->r_0013_0001__He [arg0] r_0013_0002__now now r_0013_0003__proceeds->r_0013_0002__now [nim] r_0013_0005__the_r_0013_0006__drawing__hyphen__room the drawing-room r_0013_0003__proceeds->r_0013_0005__the_r_0013_0006__drawing__hyphen__room to [clr] r_0013_0008__arranges arranges r_0013_0008__arranges->r_0013_0001__He [arg0] r_0013_0009__the_r_0013_0010__fireplace the fireplace r_0013_0008__arranges->r_0013_0009__the_r_0013_0010__fireplace [arg1] r_0013_0012__and and r_0013_0012__and->r_0013_0003__proceeds [conj1] r_0013_0012__and->r_0013_0008__arranges [conj2] r_0013_0013__sees sees r_0013_0012__and->r_0013_0013__sees [conj3] r_0013_0013__sees->r_0013_0001__He [arg0] r_0013_0015__the_r_0013_0016__lights the lights r_0013_0013__sees->r_0013_0015__the_r_0013_0016__lights to [clr] 
arc(r_0013_0003__proceeds, r_0013_0001__He, arg0).
arc(r_0013_0003__proceeds, r_0013_0002__now, nim7).
arc(r_0013_0003__proceeds, r_0013_0005__the_r_0013_0006__drawing__hyphen__room, r_0013_0004__to_clr15).
arc(r_0013_0008__arranges, r_0013_0001__He, arg0).
arc(r_0013_0008__arranges, r_0013_0009__the_r_0013_0010__fireplace, arg1).
arc(r_0013_0012__and, r_0013_0003__proceeds, conj1).
arc(r_0013_0012__and, r_0013_0008__arranges, conj2).
arc(r_0013_0012__and, r_0013_0013__sees, conj3).
arc(r_0013_0013__sees, r_0013_0001__He, arg0).
arc(r_0013_0013__sees, r_0013_0015__the_r_0013_0016__lights, r_0013_0014__to_clr42).


%3 r_0013_0013__sees sees r_0013_0015__the_r_0013_0016__lights the lights r_0013_0013__sees->r_0013_0015__the_r_0013_0016__lights to [clr] r_0013_0001__He He r_0013_0013__sees->r_0013_0001__He [arg0] r_0013_0012__and and r_0013_0012__and->r_0013_0013__sees [conj3] r_0013_0008__arranges arranges r_0013_0012__and->r_0013_0008__arranges [conj2] r_0013_0003__proceeds proceeds r_0013_0012__and->r_0013_0003__proceeds [conj1] r_0013_0008__arranges->r_0013_0001__He [arg0] r_0013_0009__the_r_0013_0010__fireplace the fireplace r_0013_0008__arranges->r_0013_0009__the_r_0013_0010__fireplace [arg1] r_0013_0003__proceeds->r_0013_0001__He [arg0] r_0013_0005__the_r_0013_0006__drawing__hyphen__room the drawing-room r_0013_0003__proceeds->r_0013_0005__the_r_0013_0006__drawing__hyphen__room to [clr] r_0013_0002__now now r_0013_0003__proceeds->r_0013_0002__now [nim] 
fof(formula,axiom,
    ? [R_13_12_AND,R_13_3_PROCEEDS,R_13_2_NOW,R_13_5_THE_DRAWING_HYPHEN_ROOM,R_13_8_ARRANGES,R_13_9_THE_FIREPLACE,R_13_13_SEES,R_13_1_HE,R_13_15_THE_LIGHTS] :
      ( now(R_13_2_NOW)
      & the_drawing_hyphen_room(R_13_5_THE_DRAWING_HYPHEN_ROOM)
      & the_fireplace(R_13_9_THE_FIREPLACE)
      & he(R_13_1_HE)
      & the_lights(R_13_15_THE_LIGHTS)
      & and(R_13_12_AND)
      & conj1(R_13_12_AND,R_13_3_PROCEEDS)
      & proceeds(R_13_3_PROCEEDS,R_13_1_HE)
      & nim7(R_13_3_PROCEEDS,R_13_2_NOW)
      & to_clr15(R_13_3_PROCEEDS,R_13_5_THE_DRAWING_HYPHEN_ROOM)
      & conj2(R_13_12_AND,R_13_8_ARRANGES)
      & arranges(R_13_8_ARRANGES,R_13_1_HE,R_13_9_THE_FIREPLACE)
      & conj3(R_13_12_AND,R_13_13_SEES)
      & sees(R_13_13_SEES,R_13_1_HE)
      & to_clr42(R_13_13_SEES,R_13_15_THE_LIGHTS) ) ).


n13_a_beeton_1861 n13_a_beeton_1861__1_1_1_1 He n13_a_beeton_1861__1_2_1_1_1_1 now n13_a_beeton_1861__1_2_1_2_1 proceeds n13_a_beeton_1861__1_2_1_3_1_1 to n13_a_beeton_1861__1_2_1_3_2_1_1 the n13_a_beeton_1861__1_2_1_3_2_2_1 drawing-room n13_a_beeton_1861__1_2_2_1 , n13_a_beeton_1861__1_2_3_1_1_1 arranges n13_a_beeton_1861__1_2_3_1_2_1_1 the n13_a_beeton_1861__1_2_3_1_2_2_1 fireplace n13_a_beeton_1861__1_2_4_1 , n13_a_beeton_1861__1_2_5_1_1 and n13_a_beeton_1861__1_2_5_2_1_1 sees n13_a_beeton_1861__1_2_5_2_2_1_1 to n13_a_beeton_1861__1_2_5_2_2_2_1_1 the n13_a_beeton_1861__1_2_5_2_2_2_2_1 lights n13_a_beeton_1861__1_3_1 ; n13_a_beeton_1861__1 IP-MAT n13_a_beeton_1861__1_1 NP-SBJ n13_a_beeton_1861__1->n13_a_beeton_1861__1_1 n13_a_beeton_1861__1_2 ILYR n13_a_beeton_1861__1->n13_a_beeton_1861__1_2 n13_a_beeton_1861__1_3 PUNC n13_a_beeton_1861__1->n13_a_beeton_1861__1_3 n13_a_beeton_1861__1_1_1 PRO n13_a_beeton_1861__1_1->n13_a_beeton_1861__1_1_1 n13_a_beeton_1861__1_1_1->n13_a_beeton_1861__1_1_1_1 n13_a_beeton_1861__1_2_1 ILYR n13_a_beeton_1861__1_2->n13_a_beeton_1861__1_2_1 n13_a_beeton_1861__1_2_2 PUNC n13_a_beeton_1861__1_2->n13_a_beeton_1861__1_2_2 n13_a_beeton_1861__1_2_3 CONJP n13_a_beeton_1861__1_2->n13_a_beeton_1861__1_2_3 n13_a_beeton_1861__1_2_4 PUNC n13_a_beeton_1861__1_2->n13_a_beeton_1861__1_2_4 n13_a_beeton_1861__1_2_5 CONJP n13_a_beeton_1861__1_2->n13_a_beeton_1861__1_2_5 n13_a_beeton_1861__1_2_1_1 ADVP-NIM n13_a_beeton_1861__1_2_1->n13_a_beeton_1861__1_2_1_1 n13_a_beeton_1861__1_2_1_2 VBP;_Ipr_ n13_a_beeton_1861__1_2_1->n13_a_beeton_1861__1_2_1_2 n13_a_beeton_1861__1_2_1_3 PP-CLR n13_a_beeton_1861__1_2_1->n13_a_beeton_1861__1_2_1_3 n13_a_beeton_1861__1_2_1_1_1 ADV n13_a_beeton_1861__1_2_1_1->n13_a_beeton_1861__1_2_1_1_1 n13_a_beeton_1861__1_2_1_1_1->n13_a_beeton_1861__1_2_1_1_1_1 n13_a_beeton_1861__1_2_1_2->n13_a_beeton_1861__1_2_1_2_1 n13_a_beeton_1861__1_2_1_3_1 P-ROLE n13_a_beeton_1861__1_2_1_3->n13_a_beeton_1861__1_2_1_3_1 n13_a_beeton_1861__1_2_1_3_2 NP n13_a_beeton_1861__1_2_1_3->n13_a_beeton_1861__1_2_1_3_2 n13_a_beeton_1861__1_2_1_3_1->n13_a_beeton_1861__1_2_1_3_1_1 n13_a_beeton_1861__1_2_1_3_2_1 D n13_a_beeton_1861__1_2_1_3_2->n13_a_beeton_1861__1_2_1_3_2_1 n13_a_beeton_1861__1_2_1_3_2_2 N n13_a_beeton_1861__1_2_1_3_2->n13_a_beeton_1861__1_2_1_3_2_2 n13_a_beeton_1861__1_2_1_3_2_1->n13_a_beeton_1861__1_2_1_3_2_1_1 n13_a_beeton_1861__1_2_1_3_2_2->n13_a_beeton_1861__1_2_1_3_2_2_1 n13_a_beeton_1861__1_2_2->n13_a_beeton_1861__1_2_2_1 n13_a_beeton_1861__1_2_3_1 ILYR n13_a_beeton_1861__1_2_3->n13_a_beeton_1861__1_2_3_1 n13_a_beeton_1861__1_2_3_1_1 VBP;_Tn_ n13_a_beeton_1861__1_2_3_1->n13_a_beeton_1861__1_2_3_1_1 n13_a_beeton_1861__1_2_3_1_2 NP-OB1 n13_a_beeton_1861__1_2_3_1->n13_a_beeton_1861__1_2_3_1_2 n13_a_beeton_1861__1_2_3_1_1->n13_a_beeton_1861__1_2_3_1_1_1 n13_a_beeton_1861__1_2_3_1_2_1 D n13_a_beeton_1861__1_2_3_1_2->n13_a_beeton_1861__1_2_3_1_2_1 n13_a_beeton_1861__1_2_3_1_2_2 N n13_a_beeton_1861__1_2_3_1_2->n13_a_beeton_1861__1_2_3_1_2_2 n13_a_beeton_1861__1_2_3_1_2_1->n13_a_beeton_1861__1_2_3_1_2_1_1 n13_a_beeton_1861__1_2_3_1_2_2->n13_a_beeton_1861__1_2_3_1_2_2_1 n13_a_beeton_1861__1_2_4->n13_a_beeton_1861__1_2_4_1 n13_a_beeton_1861__1_2_5_1 CONJ n13_a_beeton_1861__1_2_5->n13_a_beeton_1861__1_2_5_1 n13_a_beeton_1861__1_2_5_2 ILYR n13_a_beeton_1861__1_2_5->n13_a_beeton_1861__1_2_5_2 n13_a_beeton_1861__1_2_5_1->n13_a_beeton_1861__1_2_5_1_1 n13_a_beeton_1861__1_2_5_2_1 VBP;_Ipr_ n13_a_beeton_1861__1_2_5_2->n13_a_beeton_1861__1_2_5_2_1 n13_a_beeton_1861__1_2_5_2_2 PP-CLR n13_a_beeton_1861__1_2_5_2->n13_a_beeton_1861__1_2_5_2_2 n13_a_beeton_1861__1_2_5_2_1->n13_a_beeton_1861__1_2_5_2_1_1 n13_a_beeton_1861__1_2_5_2_2_1 P-ROLE n13_a_beeton_1861__1_2_5_2_2->n13_a_beeton_1861__1_2_5_2_2_1 n13_a_beeton_1861__1_2_5_2_2_2 NP n13_a_beeton_1861__1_2_5_2_2->n13_a_beeton_1861__1_2_5_2_2_2 n13_a_beeton_1861__1_2_5_2_2_1->n13_a_beeton_1861__1_2_5_2_2_1_1 n13_a_beeton_1861__1_2_5_2_2_2_1 D n13_a_beeton_1861__1_2_5_2_2_2->n13_a_beeton_1861__1_2_5_2_2_2_1 n13_a_beeton_1861__1_2_5_2_2_2_2 NS n13_a_beeton_1861__1_2_5_2_2_2->n13_a_beeton_1861__1_2_5_2_2_2_2 n13_a_beeton_1861__1_2_5_2_2_2_1->n13_a_beeton_1861__1_2_5_2_2_2_1_1 n13_a_beeton_1861__1_2_5_2_2_2_2->n13_a_beeton_1861__1_2_5_2_2_2_2_1 n13_a_beeton_1861__1_3->n13_a_beeton_1861__1_3_1 
( (IP-MAT (NP-SBJ;{BUTLER} (PRO He;{he}))
          (ILYR (ILYR (ADVP-NIM (ADV now;{now}))
                      (VBP;_Ipr_ proceeds;{proceed[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N drawing_<hyphen>_room;{drawing_room}))))
                (PUNC ,)
                (CONJP (ILYR (VBP;_Tn_ arranges;{arrange})
                             (NP-OB1 (D the;{the})
                                     (N fireplace;{fireplace}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Ipr_ sees;{see[to]})
                             (PP-CLR (P-ROLE to;{to})
                                     (NP (D the;{the})
                                         (NS lights;{light}))))))
          (PUNC ;))
  (ID 13_a_beeton_1861;2161-2))