TSPC 12_a_beeton

12_a_beeton_1861
Having served every one with their share of the dessert, put the fires in order (when these are used), and seen the lights are all right, at a signal from his master, he and the footman leave the room.

arc(r_0012_0001__Having, r_0012_0024__and, scope).
arc(r_0012_0002__served, r_0012_0004__one, arg1).
arc(r_0012_0002__served, r_0012_0007__share, r_0012_0005__with_nim19).
arc(r_0012_0002__served, r_0012_0039__and, arg0).
arc(r_0012_0003__every_quant, r_0012_0002__served, scope).
arc(r_0012_0003__every_quant, r_0012_0004__one, restriction).
arc(r_0012_0007__share, r_0012_0006__their, gen).
arc(r_0012_0007__share, r_0012_0009__the_r_0012_0010__dessert, r_0012_0008__of).
arc(r_0012_0012__put, r_0012_0013__the_r_0012_0014__fires, arg1).
arc(r_0012_0012__put, r_0012_0016__order, r_0012_0015__in_clr47).
arc(r_0012_0012__put, r_0012_0039__and, arg0).
arc(r_0012_0018__when, r_0012_0012__put, scope).
arc(r_0012_0018__when, r_0012_0020__are, restriction).
arc(r_0012_0020__are, r_0012_0021__used, scope).
arc(r_0012_0021__used, r_0012_0019__these, arg1).
arc(r_0012_0021__used, z_000_12_a_beeton_1861_62, arg0).
arc(r_0012_0024__and, r_0012_0003__every_quant, conj1).
arc(r_0012_0024__and, r_0012_0018__when, conj2).
arc(r_0012_0024__and, r_0012_0025__seen, conj3).
arc(r_0012_0025__seen, r_0012_0028__are, arg1).
arc(r_0012_0025__seen, r_0012_0039__and, arg0).
arc(r_0012_0028__are, r_0012_0026__the_r_0012_0027__lights, arg0).
arc(r_0012_0028__are, r_0012_0029__all_right, prd).
arc(r_0012_0032__a_r_0012_0033__signal, r_0012_0036__master, r_0012_0034__from).
arc(r_0012_0036__master, r_0012_0035__his, gen).
arc(r_0012_0039__and, r_0012_0038__he, conj1).
arc(r_0012_0039__and, r_0012_0040__the_r_0012_0041__footman, conj2).
arc(r_0012_0042__leave, r_0012_0032__a_r_0012_0033__signal, r_0012_0031__at_nim93).
arc(r_0012_0042__leave, r_0012_0039__and, arg0).
arc(r_0012_0042__leave, r_0012_0043__the_r_0012_0044__room, arg1).
arc(z_000_12_a_beeton_1861_2, r_0012_0001__Having, restriction).
arc(z_000_12_a_beeton_1861_2, r_0012_0042__leave, scope).

fof(formula,axiom,
    ? [Z_12_A_BEETON_1861_2,R_12_42_LEAVE,R_12_39_AND,R_12_38_HE,R_12_40_THE_FOOTMAN,R_12_43_THE_ROOM,R_12_32_A_SIGNAL,R_12_36_MASTER,R_12_35_HIS] :
      ( he(R_12_38_HE)
      & the_footman(R_12_40_THE_FOOTMAN)
      & the_room(R_12_43_THE_ROOM)
      & his(R_12_35_HIS)
      & z_12_a_beeton_1861_2(Z_12_A_BEETON_1861_2)
      & conj1(Z_12_A_BEETON_1861_2,R_12_1_HAVING)
      & ~ ? [R_12_24_AND,R_12_25_SEEN,R_12_28_ARE,R_12_26_THE_LIGHTS,R_12_29_ALL_RIGHT] :
            ( the_lights(R_12_26_THE_LIGHTS)
            & all_right(R_12_29_ALL_RIGHT)
            & ! [R_12_20_ARE_USED,Z_12_A_BEETON_1861_62,R_12_19_THESE] :
                ( ( these(R_12_19_THESE)
                  & are_used(R_12_20_ARE_USED,Z_12_A_BEETON_1861_62,R_12_19_THESE) )
               => ? [R_12_12_PUT,R_12_13_THE_FIRES,R_12_16_ORDER] :
                    ( the_fires(R_12_13_THE_FIRES)
                    & order(R_12_16_ORDER)
                    & put(R_12_12_PUT,R_12_39_AND,R_12_13_THE_FIRES)
                    & in_clr47(R_12_12_PUT,R_12_16_ORDER) ) )
            & conj2(CONJ2)
            & ! [R_12_4_ONE] :
                ( one(R_12_4_ONE)
               => ? [R_12_2_SERVED,R_12_7_SHARE,R_12_6_THEIR,R_12_9_THE_DESSERT] :
                    ( their(R_12_6_THEIR)
                    & the_dessert(R_12_9_THE_DESSERT)
                    & served(R_12_2_SERVED,R_12_39_AND,R_12_4_ONE)
                    & with_nim19(R_12_2_SERVED,R_12_7_SHARE)
                    & share(R_12_7_SHARE)
                    & gen(R_12_7_SHARE,R_12_6_THEIR)
                    & of(R_12_7_SHARE,R_12_9_THE_DESSERT) ) )
            & conj1(CONJ1)
            & and(R_12_24_AND)
            & conj3(R_12_24_AND,R_12_25_SEEN)
            & seen(R_12_25_SEEN,R_12_39_AND,R_12_28_ARE)
            & are(R_12_28_ARE,R_12_26_THE_LIGHTS,R_12_29_ALL_RIGHT) )
      & conj2(Z_12_A_BEETON_1861_2,R_12_42_LEAVE)
      & leave(R_12_42_LEAVE,R_12_39_AND,R_12_43_THE_ROOM)
      & and(R_12_39_AND)
      & conj1(R_12_39_AND,R_12_38_HE)
      & conj2(R_12_39_AND,R_12_40_THE_FOOTMAN)
      & at_nim93(R_12_42_LEAVE,R_12_32_A_SIGNAL)
      & a_signal(R_12_32_A_SIGNAL)
      & from(R_12_32_A_SIGNAL,R_12_36_MASTER)
      & master(R_12_36_MASTER)
      & gen(R_12_36_MASTER,R_12_35_HIS) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ Having;{have})
                            (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ served;{serve})
                                                    (NP-OB1;{PERSON} (Q every;{every})
                                                                     (N one;{one}))
                                                    (PP-NIM (P-ROLE with;{with})
                                                            (NP (NP-GEN;{PERSON} (PRO;_genm_ their;{their}))
                                                                (N share;{share})
                                                                (PP (P-ROLE of;{of})
                                                                    (NP (D the;{the})
                                                                        (N dessert;{dessert}))))))
                                              (PUNC ,)
                                              (CONJP (ILYR (VVN;_Tn.pr_ put;{put[in]})
                                                           (NP-OB1;{FIRES} (D the;{the})
                                                                           (NS fires;{fire}))
                                                           (PP-CLR (P-ROLE in;{in})
                                                                   (NP (N order;{order})))
                                                           (PULB -LRB-)
                                                           (PP-SCON (P-CONN when;{when})
                                                                    (IP-ADV (NP-SBJ;{FIRES} (D;_nphd_ these;{these}))
                                                                            (BEP;_cat_VePASS_ are;{be})
                                                                            (IP-PPL-CAT (NP-LGS *)
                                                                                        (VVN;_Tn_ used;{use}))))
                                                           (PURB -RRB-)))
                                              (PUNC ,)
                                              (CONJP (CONJ and;{and})
                                                     (ILYR (VVN;_Tf_ seen;{see})
                                                           (CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
                                                                                       (NS lights;{light}))
                                                                               (BEP;_La_ are;{be})
                                                                               (ADJP-PRD (ADJ all_right;{all_right}))))))))))
          (PUNC ,)
          (PP-NIM (P-ROLE at;{at})
                  (NP (D a;{a})
                      (N signal;{signal})
                      (PP (P-ROLE from;{from})
                          (NP (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                              (N master;{master})))))
          (PUNC ,)
          (NP-SBJ (NLYR (NLYR;{BUTLER} (PRO he;{he}))
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (N footman;{footman})))))
          (VBP;_Tn_ leave;{leave})
          (NP-OB1 (D the;{the})
                  (N room;{room}))
          (PUNC .))
  (ID 12_a_beeton_1861;2160-2))