TSPC 35_a_hardy

35_a_hardy_1883
This frugal woman had been somewhat exercised as to the character that should be given to the gathering.

( (IP-MAT (NP-SBJ;{WIFE} (D This;{this})
                         (ADJP (ADJ frugal;{frugal}))
                         (N woman;{woman}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (ADVP-NIM (ADV somewhat;{somewhat}))
                                  (VVN;__ exercised;{exercise})
                                  (PP-NIM (P-ROLE as_to;{as_to})
                                          (NP (D the;{the})
                                              (N character;{character})
                                              (IP-REL (C that;{that})
                                                      (NP-SBJ *T*)
                                                      (MD;_cat_Vi_ should;{shall})
                                                      (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                  (IP-PPL-CAT (NP-LGS *)
                                                                              (VVN;_Dn.pr_ given;{give[to]})
                                                                              (PP-OB2 (P-ROLE to;{to})
                                                                                      (NP (D the;{the})
                                                                                          (N gathering;{gathering}))))))))))
          (PUNC .))
  (ID 35_a_hardy_1883))

arc(r_0035_0001__This_r_0035_0003__woman,r_0035_0002__frugal,attrib).
arc(r_0035_0004__had,r_0035_0005__been,scope).
arc(r_0035_0005__been,r_0035_0007__exercised,scope).
arc(r_0035_0007__exercised,r_0035_0001__This_r_0035_0003__woman,arg1).
arc(r_0035_0007__exercised,r_0035_0006__somewhat,nim).
arc(r_0035_0007__exercised,r_0035_0009__the_r_0035_0010__character,r_0035_0008__as_to__nim).
arc(r_0035_0007__exercised,z_0035_5014___star_,arg0).
arc(r_0035_0012__should,r_0035_0013__be,scope).
arc(r_0035_0013__be,r_0035_0014__given_r_0035_0015__to,scope).
arc(r_0035_0014__given_r_0035_0015__to,r_0035_0009__the_r_0035_0010__character,arg1).
arc(r_0035_0014__given_r_0035_0015__to,r_0035_0016__the_r_0035_0017__gathering,arg2).
arc(r_0035_0014__given_r_0035_0015__to,z_0035_5009___star_,arg0).

fof(formula,axiom,
    ? [R_0035_0002__FRUGAL,R_0035_0001__THIS_R_0035_0003__WOMAN,R_0035_0006__SOMEWHAT,R_0035_0009__THE_R_0035_0010__CHARACTER,Z_0035_5014___STAR_,R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0016__THE_R_0035_0017__GATHERING,Z_0035_5009___STAR_,R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN_R_0035_0015__TO] :
      ( r_0035_0002__frugal(R_0035_0002__FRUGAL)
      & r_0035_0006__somewhat(R_0035_0006__SOMEWHAT)
      & r_0035_0009__the_r_0035_0010__character(R_0035_0009__THE_R_0035_0010__CHARACTER)
      & r_0035_0016__the_r_0035_0017__gathering(R_0035_0016__THE_R_0035_0017__GATHERING)
      & z_0035_5009___star_(Z_0035_5009___STAR_)
      & z_0035_5014___star_(Z_0035_5014___STAR_)
      & r_0035_0012__should_r_0035_0013__be_r_0035_0014__given_r_0035_0015__to(R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN_R_0035_0015__TO)
      & has_arg0(R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN_R_0035_0015__TO,Z_0035_5009___STAR_)
      & has_arg2(R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN_R_0035_0015__TO,R_0035_0016__THE_R_0035_0017__GATHERING)
      & has_arg1(R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN_R_0035_0015__TO,R_0035_0009__THE_R_0035_0010__CHARACTER)
      & r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED)
      & has_arg0(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,Z_0035_5014___STAR_)
      & has_r_0035_0008__as_to__nim(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0009__THE_R_0035_0010__CHARACTER)
      & has_nim(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0006__SOMEWHAT)
      & has_arg1(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0001__THIS_R_0035_0003__WOMAN)
      & r_0035_0001__This_r_0035_0003__woman(R_0035_0001__THIS_R_0035_0003__WOMAN)
      & has_attrib(R_0035_0001__THIS_R_0035_0003__WOMAN,R_0035_0002__FRUGAL) ) ).