TSPC 4_a_beeton

4_a_beeton_1861
At luncheon, he arranges the meal, and waits unassisted, the footman being now engaged in other duties.

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (N luncheon;{luncheon})))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (PRO he;{he}))
          (ILYR (ILYR (VBP;_Tn_ arranges;{arrange})
                      (NP-OB1 (D the;{the})
                              (N meal;{meal})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_La_ waits;{wait})
                             (ADJP-PRD (ADJ unassisted;{unassisted})))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ;{FOOTMAN} (D the;{the})
                                              (N footman;{footman}))
                            (BAG;_cat_VePASS_ being;{be})
                            (IP-PPL-CAT (NP-LGS *)
                                        (ADVP-NIM (ADV now;{now}))
                                        (VVN;_Tn_ engaged;{engage})
                                        (PP-NIM (P-ROLE in;{in})
                                                (NP (ADJP (ADJ other;{other}))
                                                    (NS duties;{duty}))))))
          (PUNC .))
  (ID 4_a_beeton_1861;2157-3))

arc(r_0004_0005__arranges,r_0004_0002__luncheon,r_0004_0001__At__nim).
arc(r_0004_0005__arranges,r_0004_0004__he,arg0).
arc(r_0004_0005__arranges,r_0004_0006__the_r_0004_0007__meal,arg1).
arc(r_0004_0009__and,r_0004_0005__arranges,conj1).
arc(r_0004_0009__and,r_0004_0010__waits,conj2).
arc(r_0004_0010__waits,r_0004_0002__luncheon,r_0004_0001__At__nim).
arc(r_0004_0010__waits,r_0004_0004__he,arg0).
arc(r_0004_0010__waits,r_0004_0011__unassisted,prd).
arc(r_0004_0015__being,r_0004_0017__engaged,scope).
arc(r_0004_0017__engaged,r_0004_0013__the_r_0004_0014__footman,arg1).
arc(r_0004_0017__engaged,r_0004_0016__now,nim).
arc(r_0004_0017__engaged,r_0004_0020__duties,r_0004_0018__in__nim).
arc(r_0004_0017__engaged,z_0004_5009___star_,arg0).
arc(r_0004_0020__duties,r_0004_0019__other,attrib).
arc(z_0004_5002,r_0004_0009__and,scope).
arc(z_0004_5002,r_0004_0015__being,restriction).

fof(formula,axiom,
    ? [R_0004_0002__LUNCHEON,R_0004_0004__HE,R_0004_0006__THE_R_0004_0007__MEAL,R_0004_0005__ARRANGES,R_0004_0011__UNASSISTED,R_0004_0010__WAITS,R_0004_0009__AND,R_0004_0013__THE_R_0004_0014__FOOTMAN,R_0004_0016__NOW,R_0004_0019__OTHER,R_0004_0020__DUTIES,Z_0004_5009___STAR_,R_0004_0015__BEING_R_0004_0017__ENGAGED,Z_0004_5002] :
      ( r_0004_0002__luncheon(R_0004_0002__LUNCHEON)
      & r_0004_0004__he(R_0004_0004__HE)
      & r_0004_0006__the_r_0004_0007__meal(R_0004_0006__THE_R_0004_0007__MEAL)
      & r_0004_0011__unassisted(R_0004_0011__UNASSISTED)
      & r_0004_0013__the_r_0004_0014__footman(R_0004_0013__THE_R_0004_0014__FOOTMAN)
      & r_0004_0016__now(R_0004_0016__NOW)
      & r_0004_0019__other(R_0004_0019__OTHER)
      & z_0004_5009___star_(Z_0004_5009___STAR_)
      & z_0004_5002(Z_0004_5002)
      & has_conj1(Z_0004_5002,R_0004_0015__BEING_R_0004_0017__ENGAGED)
      & r_0004_0015__being_r_0004_0017__engaged(R_0004_0015__BEING_R_0004_0017__ENGAGED)
      & has_arg0(R_0004_0015__BEING_R_0004_0017__ENGAGED,Z_0004_5009___STAR_)
      & has_r_0004_0018__in__nim(R_0004_0015__BEING_R_0004_0017__ENGAGED,R_0004_0020__DUTIES)
      & r_0004_0020__duties(R_0004_0020__DUTIES)
      & has_attrib(R_0004_0020__DUTIES,R_0004_0019__OTHER)
      & has_nim(R_0004_0015__BEING_R_0004_0017__ENGAGED,R_0004_0016__NOW)
      & has_arg1(R_0004_0015__BEING_R_0004_0017__ENGAGED,R_0004_0013__THE_R_0004_0014__FOOTMAN)
      & has_conj2(Z_0004_5002,R_0004_0009__AND)
      & r_0004_0009__and(R_0004_0009__AND)
      & has_conj2(R_0004_0009__AND,R_0004_0010__WAITS)
      & r_0004_0010__waits(R_0004_0010__WAITS)
      & has_prd(R_0004_0010__WAITS,R_0004_0011__UNASSISTED)
      & has_arg0(R_0004_0010__WAITS,R_0004_0004__HE)
      & has_r_0004_0001__At__nim(R_0004_0010__WAITS,R_0004_0002__LUNCHEON)
      & has_conj1(R_0004_0009__AND,R_0004_0005__ARRANGES)
      & r_0004_0005__arranges(R_0004_0005__ARRANGES)
      & has_arg1(R_0004_0005__ARRANGES,R_0004_0006__THE_R_0004_0007__MEAL)
      & has_arg0(R_0004_0005__ARRANGES,R_0004_0004__HE)
      & has_r_0004_0001__At__nim(R_0004_0005__ARRANGES,R_0004_0002__LUNCHEON) ) ).