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.

( (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))

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__nim).
arc(r_0012_0002__served,r_0012_0039__and,arg0).
arc(r_0012_0003__every__quant,r_0012_0001__Having,scope).
arc(r_0012_0003__every__quant,r_0012_0004__one,restriction).
arc(r_0012_0007__share,r_0012_0004__one,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_0015__in,r_0012_0013__the_r_0012_0014__fires,arg1).
arc(r_0012_0012__put_r_0012_0015__in,r_0012_0016__order,arg2).
arc(r_0012_0012__put_r_0012_0015__in,r_0012_0039__and,arg0).
arc(r_0012_0018__when,r_0012_0012__put_r_0012_0015__in,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_0013__the_r_0012_0014__fires,arg1).
arc(r_0012_0021__used,z_0012_5020___star_,arg0).
arc(r_0012_0024__and,r_0012_0002__served,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_0035__his,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__nim).
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_0012_5006,r_0012_0003__every__quant,restriction).
arc(z_0012_5006,r_0012_0042__leave,scope).

fof(formula,axiom,
    ? [R_0012_0035__HIS,R_0012_0036__MASTER,R_0012_0032__A_R_0012_0033__SIGNAL,R_0012_0040__THE_R_0012_0041__FOOTMAN,R_0012_0039__AND,R_0012_0043__THE_R_0012_0044__ROOM,R_0012_0042__LEAVE,Z_0012_5006] :
      ( r_0012_0035__his(R_0012_0035__HIS)
      & r_0012_0040__the_r_0012_0041__footman(R_0012_0040__THE_R_0012_0041__FOOTMAN)
      & r_0012_0043__the_r_0012_0044__room(R_0012_0043__THE_R_0012_0044__ROOM)
      & z_0012_5006(Z_0012_5006)
      & has_conj2(Z_0012_5006,R_0012_0042__LEAVE)
      & r_0012_0042__leave(R_0012_0042__LEAVE)
      & has_arg1(R_0012_0042__LEAVE,R_0012_0043__THE_R_0012_0044__ROOM)
      & has_arg0(R_0012_0042__LEAVE,R_0012_0039__AND)
      & r_0012_0039__and(R_0012_0039__AND)
      & has_conj2(R_0012_0039__AND,R_0012_0040__THE_R_0012_0041__FOOTMAN)
      & has_conj1(R_0012_0039__AND,R_0012_0035__HIS)
      & has_r_0012_0031__at__nim(R_0012_0042__LEAVE,R_0012_0032__A_R_0012_0033__SIGNAL)
      & r_0012_0032__a_r_0012_0033__signal(R_0012_0032__A_R_0012_0033__SIGNAL)
      & has_r_0012_0034__from(R_0012_0032__A_R_0012_0033__SIGNAL,R_0012_0036__MASTER)
      & r_0012_0036__master(R_0012_0036__MASTER)
      & has_gen(R_0012_0036__MASTER,R_0012_0035__HIS)
      & ! [R_0012_0004__ONE] :
          ( r_0012_0004__one(R_0012_0004__ONE)
         => ? [R_0012_0009__THE_R_0012_0010__DESSERT,R_0012_0007__SHARE,R_0012_0002__SERVED,R_0012_0026__THE_R_0012_0027__LIGHTS,R_0012_0029__ALL_RIGHT,R_0012_0028__ARE,R_0012_0025__SEEN,R_0012_0024__AND,R_0012_0001__HAVING] :
              ( r_0012_0009__the_r_0012_0010__dessert(R_0012_0009__THE_R_0012_0010__DESSERT)
              & r_0012_0026__the_r_0012_0027__lights(R_0012_0026__THE_R_0012_0027__LIGHTS)
              & r_0012_0029__all_right(R_0012_0029__ALL_RIGHT)
              & r_0012_0001__Having(R_0012_0001__HAVING)
              & has_keep_scope(R_0012_0001__HAVING,R_0012_0024__AND)
              & r_0012_0024__and(R_0012_0024__AND)
              & has_conj3(R_0012_0024__AND,R_0012_0025__SEEN)
              & r_0012_0025__seen(R_0012_0025__SEEN)
              & has_arg0(R_0012_0025__SEEN,R_0012_0039__AND)
              & has_arg1(R_0012_0025__SEEN,R_0012_0028__ARE)
              & r_0012_0028__are(R_0012_0028__ARE)
              & has_prd(R_0012_0028__ARE,R_0012_0029__ALL_RIGHT)
              & has_arg0(R_0012_0028__ARE,R_0012_0026__THE_R_0012_0027__LIGHTS)
              & ! [R_0012_0020__ARE_R_0012_0021__USED,R_0012_0013__THE_R_0012_0014__FIRES,Z_0012_5020___STAR_] :
                  ( ( r_0012_0013__the_r_0012_0014__fires(R_0012_0013__THE_R_0012_0014__FIRES)
                    & z_0012_5020___star_(Z_0012_5020___STAR_)
                    & r_0012_0020__are_r_0012_0021__used(R_0012_0020__ARE_R_0012_0021__USED)
                    & has_arg0(R_0012_0020__ARE_R_0012_0021__USED,Z_0012_5020___STAR_)
                    & has_arg1(R_0012_0020__ARE_R_0012_0021__USED,R_0012_0013__THE_R_0012_0014__FIRES) )
                 => ? [R_0012_0016__ORDER,R_0012_0012__PUT_R_0012_0015__IN] :
                      ( r_0012_0016__order(R_0012_0016__ORDER)
                      & r_0012_0012__put_r_0012_0015__in(R_0012_0012__PUT_R_0012_0015__IN)
                      & has_arg0(R_0012_0012__PUT_R_0012_0015__IN,R_0012_0039__AND)
                      & has_arg2(R_0012_0012__PUT_R_0012_0015__IN,R_0012_0016__ORDER)
                      & has_arg1(R_0012_0012__PUT_R_0012_0015__IN,R_0012_0013__THE_R_0012_0014__FIRES) ) )
              & has_conj1(R_0012_0024__AND,R_0012_0002__SERVED)
              & r_0012_0002__served(R_0012_0002__SERVED)
              & has_arg0(R_0012_0002__SERVED,R_0012_0039__AND)
              & has_r_0012_0005__with__nim(R_0012_0002__SERVED,R_0012_0007__SHARE)
              & r_0012_0007__share(R_0012_0007__SHARE)
              & has_r_0012_0008__of(R_0012_0007__SHARE,R_0012_0009__THE_R_0012_0010__DESSERT)
              & has_gen(R_0012_0007__SHARE,R_0012_0004__ONE)
              & has_arg1(R_0012_0002__SERVED,R_0012_0004__ONE) ) ) ) ).