TSPC 21_a_lob

21_a_lob_n02
Had he acted within his rights in inviting Jack Vallin to act on her behalf, in having Blanche there — not doing the honours, perhaps, but as the only white woman of position?

( (CP-QUE-MAT (IP-SUB (HVD;_cat_Ve_ Had;{have})
                      (NP-SBJ;{PIERS} (PRO he;{he}))
                      (IP-PPL-CAT (VVN;_I_ acted;{act})
                                  (PP-NIM (P-ROLE within;{within})
                                          (NP (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                                              (NS rights;{right}))))
                      (PP-NIM (PP-NIM (P-ROLE in;{in})
                                      (IP-PPL3 (VAG;_Dn.t_ inviting;{invite})
                                               (NP-OB2;{JACK} (NPR Jack;{Jack})
                                                              (NPR Vallin;{Vallin}))
                                               (IP-INF-OB1 (TO to;{to})
                                                           (VB;_I_ act;{act})
                                                           (PP-NIM (P-ROLE on;{on})
                                                                   (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                                       (N behalf;{behalf}))))))
                              (PUNC ,)
                              (CONJP (PP-NIM (P-ROLE in;{in})
                                             (IP-PPL3 (HAG;_Tn_ having;{have})
                                                      (NP-OB1;{BLANCHE} (NPR Blanche;{Blanche}))
                                                      (ADVP-NIM (ADV there;{there}))))))
                      (PUNC <mdash>)
                      (PRN (IP-PPL (NEG not;{not})
                                   (DAG;_Tn_ doing;{do})
                                   (NP-OB1 (D the;{the})
                                           (NS honours;{honour}))))
                      (PUNC ,)
                      (ADVP-NIM (ADV perhaps;{perhaps}))
                      (PUNC ,)
                      (PRN (FRAG (CONJ but;{but})
                                 (PP (P-ROLE as;{as})
                                     (NP (D the;{the})
                                         (ADJP (ADJ only;{only}))
                                         (ADJP (ADJ white;{white}))
                                         (N woman;{woman})
                                         (PP (P-ROLE of;{of})
                                             (NP (N position;{position}))))))))
              (PUNC ?))
  (ID 21_a_lob_n02))

arc(r_0021_0001__Had,r_0021_0003__acted,scope).
arc(r_0021_0001__Had,r_0021_0022__not,prn).
arc(r_0021_0001__Had,r_0021_0027__perhaps,nim).
arc(r_0021_0001__Had,z_0021_5008,prn).
arc(r_0021_0001__Had,z_0021_5030,nim).
arc(r_0021_0003__acted,r_0021_0002__he,arg0).
arc(r_0021_0003__acted,r_0021_0006__rights,r_0021_0004__within__nim).
arc(r_0021_0006__rights,r_0021_0002__he,gen).
arc(r_0021_0008__inviting,r_0021_0009__Jack_r_0021_0010__Vallin,arg2).
arc(r_0021_0008__inviting,r_0021_0012__act,arg1).
arc(r_0021_0008__inviting,z_0021_5020,arg0).
arc(r_0021_0012__act,r_0021_0009__Jack_r_0021_0010__Vallin,arg0).
arc(r_0021_0012__act,r_0021_0015__behalf,r_0021_0013__on__nim).
arc(r_0021_0015__behalf,r_0021_0014__her,gen).
arc(r_0021_0018__having,r_0021_0019__Blanche,arg1).
arc(r_0021_0018__having,r_0021_0020__there,nim).
arc(r_0021_0018__having,z_0021_5027,arg0).
arc(r_0021_0022__not,r_0021_0023__doing,keep_scope).
arc(r_0021_0023__doing,r_0021_0024__the_r_0021_0025__honours,arg1).
arc(r_0021_0023__doing,z_0021_5013,arg0).
arc(r_0021_0031__the_r_0021_0034__woman,r_0021_0032__only,attrib).
arc(r_0021_0031__the_r_0021_0034__woman,r_0021_0033__white,attrib).
arc(r_0021_0031__the_r_0021_0034__woman,r_0021_0036__position,r_0021_0035__of).
arc(z_0021_5008,r_0021_0031__the_r_0021_0034__woman,r_0021_0030__as).
arc(z_0021_5008,z_0021_5003,arg0).
arc(z_0021_5030,r_0021_0008__inviting,r_0021_0007__in__nim).
arc(z_0021_5030,r_0021_0018__having,r_0021_0017__in__nim).

fof(formula,axiom,
    ? [R_0021_0027__PERHAPS,R_0021_0032__ONLY,R_0021_0033__WHITE,R_0021_0036__POSITION,R_0021_0031__THE_R_0021_0034__WOMAN,Z_0021_5003,Z_0021_5008,R_0021_0009__JACK_R_0021_0010__VALLIN,R_0021_0014__HER,R_0021_0015__BEHALF,R_0021_0012__ACT,Z_0021_5020,R_0021_0008__INVITING,R_0021_0019__BLANCHE,R_0021_0020__THERE,Z_0021_5027,R_0021_0018__HAVING,Z_0021_5030,R_0021_0002__HE,R_0021_0006__RIGHTS,R_0021_0001__HAD_R_0021_0003__ACTED] :
      ( r_0021_0002__he(R_0021_0002__HE)
      & r_0021_0009__Jack_r_0021_0010__Vallin(R_0021_0009__JACK_R_0021_0010__VALLIN)
      & r_0021_0014__her(R_0021_0014__HER)
      & r_0021_0019__Blanche(R_0021_0019__BLANCHE)
      & r_0021_0020__there(R_0021_0020__THERE)
      & r_0021_0027__perhaps(R_0021_0027__PERHAPS)
      & r_0021_0032__only(R_0021_0032__ONLY)
      & r_0021_0033__white(R_0021_0033__WHITE)
      & r_0021_0036__position(R_0021_0036__POSITION)
      & z_0021_5003(Z_0021_5003)
      & z_0021_5020(Z_0021_5020)
      & z_0021_5027(Z_0021_5027)
      & r_0021_0001__Had_r_0021_0003__acted(R_0021_0001__HAD_R_0021_0003__ACTED)
      & has_r_0021_0004__within__nim(R_0021_0001__HAD_R_0021_0003__ACTED,R_0021_0006__RIGHTS)
      & r_0021_0006__rights(R_0021_0006__RIGHTS)
      & has_gen(R_0021_0006__RIGHTS,R_0021_0002__HE)
      & has_arg0(R_0021_0001__HAD_R_0021_0003__ACTED,R_0021_0002__HE)
      & has_nim(R_0021_0001__HAD_R_0021_0003__ACTED,Z_0021_5030)
      & z_0021_5030(Z_0021_5030)
      & has_r_0021_0017__in__nim(Z_0021_5030,R_0021_0018__HAVING)
      & r_0021_0018__having(R_0021_0018__HAVING)
      & has_arg0(R_0021_0018__HAVING,Z_0021_5027)
      & has_nim(R_0021_0018__HAVING,R_0021_0020__THERE)
      & has_arg1(R_0021_0018__HAVING,R_0021_0019__BLANCHE)
      & has_r_0021_0007__in__nim(Z_0021_5030,R_0021_0008__INVITING)
      & r_0021_0008__inviting(R_0021_0008__INVITING)
      & has_arg0(R_0021_0008__INVITING,Z_0021_5020)
      & has_arg1(R_0021_0008__INVITING,R_0021_0012__ACT)
      & r_0021_0012__act(R_0021_0012__ACT)
      & has_r_0021_0013__on__nim(R_0021_0012__ACT,R_0021_0015__BEHALF)
      & r_0021_0015__behalf(R_0021_0015__BEHALF)
      & has_gen(R_0021_0015__BEHALF,R_0021_0014__HER)
      & has_arg0(R_0021_0012__ACT,R_0021_0009__JACK_R_0021_0010__VALLIN)
      & has_arg2(R_0021_0008__INVITING,R_0021_0009__JACK_R_0021_0010__VALLIN)
      & has_prn(R_0021_0001__HAD_R_0021_0003__ACTED,Z_0021_5008)
      & z_0021_5008(Z_0021_5008)
      & has_arg0(Z_0021_5008,Z_0021_5003)
      & has_r_0021_0030__as(Z_0021_5008,R_0021_0031__THE_R_0021_0034__WOMAN)
      & r_0021_0031__the_r_0021_0034__woman(R_0021_0031__THE_R_0021_0034__WOMAN)
      & has_r_0021_0035__of(R_0021_0031__THE_R_0021_0034__WOMAN,R_0021_0036__POSITION)
      & has_attrib(R_0021_0031__THE_R_0021_0034__WOMAN,R_0021_0033__WHITE)
      & has_attrib(R_0021_0031__THE_R_0021_0034__WOMAN,R_0021_0032__ONLY)
      & has_nim(R_0021_0001__HAD_R_0021_0003__ACTED,R_0021_0027__PERHAPS)
      & has_prn(R_0021_0001__HAD_R_0021_0003__ACTED,R_0021_0022__NOT)
      & ~ ? [R_0021_0024__THE_R_0021_0025__HONOURS,Z_0021_5013,R_0021_0023__DOING] :
            ( r_0021_0024__the_r_0021_0025__honours(R_0021_0024__THE_R_0021_0025__HONOURS)
            & z_0021_5013(Z_0021_5013)
            & r_0021_0023__doing(R_0021_0023__DOING)
            & has_arg0(R_0021_0023__DOING,Z_0021_5013)
            & has_arg1(R_0021_0023__DOING,R_0021_0024__THE_R_0021_0025__HONOURS) ) ) ).