TSPC 3_a_beeton

3_a_beeton_1861
On taking away, he removes the tray with the china and plate, for which he is responsible.

( (IP-MAT (PP-SCON (P-CONN On;{on})
                   (IP-PPL2 (VAG;_Ip_ taking;{take[away]})
                            (ADVP-CLR (RP away;{away}))))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (PRO he;{he}))
          (VBP;_Tn_ removes;{remove})
          (NP-OB1 (D the;{the})
                  (N tray;{tray})
                  (PP (P-ROLE with;{with})
                      (NP (D the;{the})
                          (NLYR (NLYR (N china;{china}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N plate;{plate}))))))
                  (PUNC ,)
                  (IP-REL (PP-151 (P-ROLE for;{for})
                                  (NP (RPRO which;{which})))
                          (NP-SBJ;{BUTLER} (PRO he;{he}))
                          (BEP;_La_ is;{be})
                          (ADJP-PRD (PP *ICH*-151)
                                    (ADJ responsible;{responsible}))))
          (PUNC .))
  (ID 3_a_beeton_1861;2157-2))

arc(r_0003_0001__On,r_0003_0002__taking_r_0003_0003__away,restriction).
arc(r_0003_0001__On,r_0003_0006__removes,scope).
arc(r_0003_0002__taking_r_0003_0003__away,r_0003_0005__he,arg0).
arc(r_0003_0006__removes,r_0003_0005__he,arg0).
arc(r_0003_0006__removes,r_0003_0007__the_r_0003_0008__tray,arg1).
arc(r_0003_0007__the_r_0003_0008__tray,r_0003_0010__the_r_0003_0011__china_r_0003_0012__and_r_0003_0013__plate,r_0003_0009__with).
arc(r_0003_0018__is,r_0003_0005__he,arg0).
arc(r_0003_0018__is,r_0003_0019__responsible,prd).
arc(r_0003_0019__responsible,r_0003_0007__the_r_0003_0008__tray,r_0003_0015__for).

fof(formula,axiom,
    ? [R_0003_0005__HE,R_0003_0002__TAKING_R_0003_0003__AWAY,R_0003_0010__THE_R_0003_0011__CHINA_R_0003_0012__AND_R_0003_0013__PLATE,R_0003_0007__THE_R_0003_0008__TRAY,R_0003_0006__REMOVES,R_0003_0001__ON,R_0003_0019__RESPONSIBLE,R_0003_0018__IS] :
      ( r_0003_0005__he(R_0003_0005__HE)
      & r_0003_0010__the_r_0003_0011__china_r_0003_0012__and_r_0003_0013__plate(R_0003_0010__THE_R_0003_0011__CHINA_R_0003_0012__AND_R_0003_0013__PLATE)
      & r_0003_0018__is(R_0003_0018__IS)
      & has_prd(R_0003_0018__IS,R_0003_0019__RESPONSIBLE)
      & r_0003_0019__responsible(R_0003_0019__RESPONSIBLE)
      & has_r_0003_0015__for(R_0003_0019__RESPONSIBLE,R_0003_0007__THE_R_0003_0008__TRAY)
      & r_0003_0007__the_r_0003_0008__tray(R_0003_0007__THE_R_0003_0008__TRAY)
      & has_r_0003_0009__with(R_0003_0007__THE_R_0003_0008__TRAY,R_0003_0010__THE_R_0003_0011__CHINA_R_0003_0012__AND_R_0003_0013__PLATE)
      & has_arg0(R_0003_0018__IS,R_0003_0005__HE)
      & r_0003_0001__On(R_0003_0001__ON)
      & has_conj2(R_0003_0001__ON,R_0003_0006__REMOVES)
      & r_0003_0006__removes(R_0003_0006__REMOVES)
      & has_arg1(R_0003_0006__REMOVES,R_0003_0007__THE_R_0003_0008__TRAY)
      & has_arg0(R_0003_0006__REMOVES,R_0003_0005__HE)
      & has_conj1(R_0003_0001__ON,R_0003_0002__TAKING_R_0003_0003__AWAY)
      & r_0003_0002__taking_r_0003_0003__away(R_0003_0002__TAKING_R_0003_0003__AWAY)
      & has_arg0(R_0003_0002__TAKING_R_0003_0003__AWAY,R_0003_0005__HE) ) ).