Context                Previous, Next                Top


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

%3 r_0035_0001__This_r_0035_0003__woman This woman r_0035_0002__frugal frugal r_0035_0001__This_r_0035_0003__woman->r_0035_0002__frugal [attrib] r_0035_0004__had had r_0035_0005__been been r_0035_0004__had->r_0035_0005__been [scope] r_0035_0007__exercised exercised r_0035_0005__been->r_0035_0007__exercised [scope] r_0035_0007__exercised->r_0035_0001__This_r_0035_0003__woman [arg1] r_0035_0006__somewhat somewhat r_0035_0007__exercised->r_0035_0006__somewhat [nim] r_0035_0009__the_r_0035_0010__character the character r_0035_0007__exercised->r_0035_0009__the_r_0035_0010__character as to [nim] z_000_35_a_hardy_1883_16 r_0035_0007__exercised->z_000_35_a_hardy_1883_16 [arg0] r_0035_0011__that_r_0035_0012__should that should r_0035_0013__be be r_0035_0011__that_r_0035_0012__should->r_0035_0013__be [scope] r_0035_0014__given given r_0035_0013__be->r_0035_0014__given [scope] r_0035_0014__given->r_0035_0009__the_r_0035_0010__character [arg1] r_0035_0016__the_r_0035_0017__gathering the gathering r_0035_0014__given->r_0035_0016__the_r_0035_0017__gathering [arg2] z_000_35_a_hardy_1883_42 r_0035_0014__given->z_000_35_a_hardy_1883_42 [arg0] 
arc(r_0035_0001__This_r_0035_0003__woman, r_0035_0002__frugal, attrib5).
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, nim18).
arc(r_0035_0007__exercised, r_0035_0009__the_r_0035_0010__character, r_0035_0008__as_to_nim26).
arc(r_0035_0007__exercised, z_000_35_a_hardy_1883_16, arg0).
arc(r_0035_0011__that_r_0035_0012__should, r_0035_0013__be, scope).
arc(r_0035_0013__be, r_0035_0014__given, scope).
arc(r_0035_0014__given, r_0035_0009__the_r_0035_0010__character, arg1).
arc(r_0035_0014__given, r_0035_0016__the_r_0035_0017__gathering, arg2).
arc(r_0035_0014__given, z_000_35_a_hardy_1883_42, arg0).


%3 r_0035_0011__that_r_0035_0012__should_r_0035_0013__be_r_0035_0014__given that should be given z_000_35_a_hardy_1883_42 r_0035_0011__that_r_0035_0012__should_r_0035_0013__be_r_0035_0014__given->z_000_35_a_hardy_1883_42 [arg0] r_0035_0016__the_r_0035_0017__gathering the gathering r_0035_0011__that_r_0035_0012__should_r_0035_0013__be_r_0035_0014__given->r_0035_0016__the_r_0035_0017__gathering [arg2] r_0035_0009__the_r_0035_0010__character the character r_0035_0011__that_r_0035_0012__should_r_0035_0013__be_r_0035_0014__given->r_0035_0009__the_r_0035_0010__character [arg1] r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised had been exercised r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised->r_0035_0009__the_r_0035_0010__character as to [nim] z_000_35_a_hardy_1883_16 r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised->z_000_35_a_hardy_1883_16 [arg0] r_0035_0006__somewhat somewhat r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised->r_0035_0006__somewhat [nim] r_0035_0001__This_r_0035_0003__woman This woman r_0035_0004__had_r_0035_0005__been_r_0035_0007__exercised->r_0035_0001__This_r_0035_0003__woman [arg1] r_0035_0002__frugal frugal r_0035_0001__This_r_0035_0003__woman->r_0035_0002__frugal [attrib] 
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_000_35_A_HARDY_1883_16,R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0016__THE_R_0035_0017__GATHERING,Z_000_35_A_HARDY_1883_42,R_0035_0011__THAT_R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN] :
      ( 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_000_35_a_hardy_1883_16(Z_000_35_A_HARDY_1883_16)
      & z_000_35_a_hardy_1883_42(Z_000_35_A_HARDY_1883_42)
      & r_0035_0011__that_r_0035_0012__should_r_0035_0013__be_r_0035_0014__given(R_0035_0011__THAT_R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN)
      & has_arg0(R_0035_0011__THAT_R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN,Z_000_35_A_HARDY_1883_42)
      & has_arg2(R_0035_0011__THAT_R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN,R_0035_0016__THE_R_0035_0017__GATHERING)
      & has_arg1(R_0035_0011__THAT_R_0035_0012__SHOULD_R_0035_0013__BE_R_0035_0014__GIVEN,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_000_35_A_HARDY_1883_16)
      & has_r_0035_0008__as_to_nim26(R_0035_0004__HAD_R_0035_0005__BEEN_R_0035_0007__EXERCISED,R_0035_0009__THE_R_0035_0010__CHARACTER)
      & has_nim18(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_attrib5(R_0035_0001__THIS_R_0035_0003__WOMAN,R_0035_0002__FRUGAL) ) ).


n35_a_hardy_1883 n35_a_hardy_1883__1_1_1_1 This n35_a_hardy_1883__1_1_2_1_1 frugal n35_a_hardy_1883__1_1_3_1 woman n35_a_hardy_1883__1_2_1 had n35_a_hardy_1883__1_3_1_1 been n35_a_hardy_1883__1_3_2_1_1 * n35_a_hardy_1883__1_3_2_2_1_1 somewhat n35_a_hardy_1883__1_3_2_3_1 exercised n35_a_hardy_1883__1_3_2_4_1_1 as_to n35_a_hardy_1883__1_3_2_4_2_1_1 the n35_a_hardy_1883__1_3_2_4_2_2_1 character n35_a_hardy_1883__1_3_2_4_2_3_1_1 that n35_a_hardy_1883__1_3_2_4_2_3_2_1 *T* n35_a_hardy_1883__1_3_2_4_2_3_3_1 should n35_a_hardy_1883__1_3_2_4_2_3_4_1_1 be n35_a_hardy_1883__1_3_2_4_2_3_4_2_1_1 * n35_a_hardy_1883__1_3_2_4_2_3_4_2_2_1 given n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_1_1 to n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_1_1 the n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_2_1 gathering n35_a_hardy_1883__1_4_1 . n35_a_hardy_1883__1 IP-MAT n35_a_hardy_1883__1_1 NP-SBJ n35_a_hardy_1883__1->n35_a_hardy_1883__1_1 n35_a_hardy_1883__1_2 HVD;_cat_Ve_ n35_a_hardy_1883__1->n35_a_hardy_1883__1_2 n35_a_hardy_1883__1_3 IP-PPL-CAT n35_a_hardy_1883__1->n35_a_hardy_1883__1_3 n35_a_hardy_1883__1_4 PUNC n35_a_hardy_1883__1->n35_a_hardy_1883__1_4 n35_a_hardy_1883__1_1_1 D n35_a_hardy_1883__1_1->n35_a_hardy_1883__1_1_1 n35_a_hardy_1883__1_1_2 ADJP n35_a_hardy_1883__1_1->n35_a_hardy_1883__1_1_2 n35_a_hardy_1883__1_1_3 N n35_a_hardy_1883__1_1->n35_a_hardy_1883__1_1_3 n35_a_hardy_1883__1_1_1->n35_a_hardy_1883__1_1_1_1 n35_a_hardy_1883__1_1_2_1 ADJ n35_a_hardy_1883__1_1_2->n35_a_hardy_1883__1_1_2_1 n35_a_hardy_1883__1_1_2_1->n35_a_hardy_1883__1_1_2_1_1 n35_a_hardy_1883__1_1_3->n35_a_hardy_1883__1_1_3_1 n35_a_hardy_1883__1_2->n35_a_hardy_1883__1_2_1 n35_a_hardy_1883__1_3_1 BEN;_cat_VePASS_ n35_a_hardy_1883__1_3->n35_a_hardy_1883__1_3_1 n35_a_hardy_1883__1_3_2 IP-PPL-CAT n35_a_hardy_1883__1_3->n35_a_hardy_1883__1_3_2 n35_a_hardy_1883__1_3_1->n35_a_hardy_1883__1_3_1_1 n35_a_hardy_1883__1_3_2_1 NP-LGS n35_a_hardy_1883__1_3_2->n35_a_hardy_1883__1_3_2_1 n35_a_hardy_1883__1_3_2_2 ADVP-NIM n35_a_hardy_1883__1_3_2->n35_a_hardy_1883__1_3_2_2 n35_a_hardy_1883__1_3_2_3 VVN;_Tn_ n35_a_hardy_1883__1_3_2->n35_a_hardy_1883__1_3_2_3 n35_a_hardy_1883__1_3_2_4 PP-NIM n35_a_hardy_1883__1_3_2->n35_a_hardy_1883__1_3_2_4 n35_a_hardy_1883__1_3_2_1->n35_a_hardy_1883__1_3_2_1_1 n35_a_hardy_1883__1_3_2_2_1 ADV n35_a_hardy_1883__1_3_2_2->n35_a_hardy_1883__1_3_2_2_1 n35_a_hardy_1883__1_3_2_2_1->n35_a_hardy_1883__1_3_2_2_1_1 n35_a_hardy_1883__1_3_2_3->n35_a_hardy_1883__1_3_2_3_1 n35_a_hardy_1883__1_3_2_4_1 P-ROLE n35_a_hardy_1883__1_3_2_4->n35_a_hardy_1883__1_3_2_4_1 n35_a_hardy_1883__1_3_2_4_2 NP n35_a_hardy_1883__1_3_2_4->n35_a_hardy_1883__1_3_2_4_2 n35_a_hardy_1883__1_3_2_4_1->n35_a_hardy_1883__1_3_2_4_1_1 n35_a_hardy_1883__1_3_2_4_2_1 D n35_a_hardy_1883__1_3_2_4_2->n35_a_hardy_1883__1_3_2_4_2_1 n35_a_hardy_1883__1_3_2_4_2_2 N n35_a_hardy_1883__1_3_2_4_2->n35_a_hardy_1883__1_3_2_4_2_2 n35_a_hardy_1883__1_3_2_4_2_3 IP-REL n35_a_hardy_1883__1_3_2_4_2->n35_a_hardy_1883__1_3_2_4_2_3 n35_a_hardy_1883__1_3_2_4_2_1->n35_a_hardy_1883__1_3_2_4_2_1_1 n35_a_hardy_1883__1_3_2_4_2_2->n35_a_hardy_1883__1_3_2_4_2_2_1 n35_a_hardy_1883__1_3_2_4_2_3_1 C n35_a_hardy_1883__1_3_2_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_1 n35_a_hardy_1883__1_3_2_4_2_3_2 NP-SBJ n35_a_hardy_1883__1_3_2_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_2 n35_a_hardy_1883__1_3_2_4_2_3_3 MD;_cat_Vi_ n35_a_hardy_1883__1_3_2_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_3 n35_a_hardy_1883__1_3_2_4_2_3_4 IP-INF-CAT n35_a_hardy_1883__1_3_2_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_4 n35_a_hardy_1883__1_3_2_4_2_3_1->n35_a_hardy_1883__1_3_2_4_2_3_1_1 n35_a_hardy_1883__1_3_2_4_2_3_2->n35_a_hardy_1883__1_3_2_4_2_3_2_1 n35_a_hardy_1883__1_3_2_4_2_3_3->n35_a_hardy_1883__1_3_2_4_2_3_3_1 n35_a_hardy_1883__1_3_2_4_2_3_4_1 BE;_cat_VePASS_ n35_a_hardy_1883__1_3_2_4_2_3_4->n35_a_hardy_1883__1_3_2_4_2_3_4_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2 IP-PPL-CAT n35_a_hardy_1883__1_3_2_4_2_3_4->n35_a_hardy_1883__1_3_2_4_2_3_4_2 n35_a_hardy_1883__1_3_2_4_2_3_4_1->n35_a_hardy_1883__1_3_2_4_2_3_4_1_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_1 NP-LGS n35_a_hardy_1883__1_3_2_4_2_3_4_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_2 VVN;_Dn.pr_ n35_a_hardy_1883__1_3_2_4_2_3_4_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_2 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3 PP-OB2 n35_a_hardy_1883__1_3_2_4_2_3_4_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3 n35_a_hardy_1883__1_3_2_4_2_3_4_2_1->n35_a_hardy_1883__1_3_2_4_2_3_4_2_1_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_2_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_1 P-ROLE n35_a_hardy_1883__1_3_2_4_2_3_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2 NP n35_a_hardy_1883__1_3_2_4_2_3_4_2_3->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_1->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_1_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_1 D n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_2 N n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_2 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_1->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_1_1 n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_2->n35_a_hardy_1883__1_3_2_4_2_3_4_2_3_2_2_1 n35_a_hardy_1883__1_4->n35_a_hardy_1883__1_4_1 
( (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;_Tn_ 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))