TSPC 95_a_hardy

95_a_hardy_1883
Mrs. Shepherd Fennel assented, and made room for the self-invited comer, who, having got completely inside the chimney-corner, stretched out his legs and his arms with the expansiveness of a person quite at home.

arc(r_0095_0004__assented, r_0095_0001__Mrs_dot__r_0095_0002__Shepherd_r_0095_0003__Fennel, arg0).
arc(r_0095_0006__and, r_0095_0004__assented, conj1).
arc(r_0095_0006__and, r_0095_0007__made, conj2).
arc(r_0095_0007__made, r_0095_0001__Mrs_dot__r_0095_0002__Shepherd_r_0095_0003__Fennel, arg0).
arc(r_0095_0007__made, r_0095_0008__room, arg1).
arc(r_0095_0007__made, r_0095_0010__the_r_0095_0012__comer, r_0095_0009__for_clr27).
arc(r_0095_0010__the_r_0095_0012__comer, r_0095_0011__self__hyphen__invited, attrib30).
arc(r_0095_0016__having, r_0095_0017__got, scope).
arc(r_0095_0017__got, r_0095_0010__the_r_0095_0012__comer, arg0).
arc(r_0095_0017__got, r_0095_0018__completely, nim50).
arc(r_0095_0017__got, r_0095_0020__the_r_0095_0021__chimney__hyphen__corner, r_0095_0019__inside_clr56).
arc(r_0095_0023__stretched_r_0095_0024__out, r_0095_0010__the_r_0095_0012__comer, arg0).
arc(r_0095_0023__stretched_r_0095_0024__out, r_0095_0027__and, arg1).
arc(r_0095_0023__stretched_r_0095_0024__out, r_0095_0031__the_r_0095_0032__expansiveness, r_0095_0030__with_nim87).
arc(r_0095_0026__legs, r_0095_0010__the_r_0095_0012__comer, gen).
arc(r_0095_0027__and, r_0095_0026__legs, conj1).
arc(r_0095_0027__and, r_0095_0029__arms, conj2).
arc(r_0095_0029__arms, r_0095_0010__the_r_0095_0012__comer, gen).
arc(r_0095_0031__the_r_0095_0032__expansiveness, r_0095_0034__a_r_0095_0035__person, r_0095_0033__of).
arc(r_0095_0034__a_r_0095_0035__person, r_0095_0036__quite, qual100).
arc(r_0095_0036__quite, r_0095_0038__home, r_0095_0037__at).
arc(z_000_95_a_hardy_1883_43, r_0095_0016__having, restriction).
arc(z_000_95_a_hardy_1883_43, r_0095_0023__stretched_r_0095_0024__out, scope).

fof(formula,axiom,
    ? [R_0095_0001__MRS_DOT__R_0095_0002__SHEPHERD_R_0095_0003__FENNEL,R_0095_0004__ASSENTED,R_0095_0008__ROOM,R_0095_0011__SELF__HYPHEN__INVITED,R_0095_0010__THE_R_0095_0012__COMER,R_0095_0007__MADE,R_0095_0006__AND,R_0095_0018__COMPLETELY,R_0095_0020__THE_R_0095_0021__CHIMNEY__HYPHEN__CORNER,R_0095_0016__HAVING_R_0095_0017__GOT,R_0095_0026__LEGS,R_0095_0029__ARMS,R_0095_0027__AND,R_0095_0038__HOME,R_0095_0036__QUITE,R_0095_0034__A_R_0095_0035__PERSON,R_0095_0031__THE_R_0095_0032__EXPANSIVENESS,R_0095_0023__STRETCHED_R_0095_0024__OUT,Z_000_95_A_HARDY_1883_43] :
      ( r_0095_0001__Mrs_dot__r_0095_0002__Shepherd_r_0095_0003__Fennel(R_0095_0001__MRS_DOT__R_0095_0002__SHEPHERD_R_0095_0003__FENNEL)
      & r_0095_0008__room(R_0095_0008__ROOM)
      & r_0095_0011__self__hyphen__invited(R_0095_0011__SELF__HYPHEN__INVITED)
      & r_0095_0018__completely(R_0095_0018__COMPLETELY)
      & r_0095_0020__the_r_0095_0021__chimney__hyphen__corner(R_0095_0020__THE_R_0095_0021__CHIMNEY__HYPHEN__CORNER)
      & r_0095_0038__home(R_0095_0038__HOME)
      & z_000_95_a_hardy_1883_43(Z_000_95_A_HARDY_1883_43)
      & has_conj2(Z_000_95_A_HARDY_1883_43,R_0095_0023__STRETCHED_R_0095_0024__OUT)
      & r_0095_0023__stretched_r_0095_0024__out(R_0095_0023__STRETCHED_R_0095_0024__OUT)
      & has_r_0095_0030__with_nim87(R_0095_0023__STRETCHED_R_0095_0024__OUT,R_0095_0031__THE_R_0095_0032__EXPANSIVENESS)
      & r_0095_0031__the_r_0095_0032__expansiveness(R_0095_0031__THE_R_0095_0032__EXPANSIVENESS)
      & has_r_0095_0033__of(R_0095_0031__THE_R_0095_0032__EXPANSIVENESS,R_0095_0034__A_R_0095_0035__PERSON)
      & r_0095_0034__a_r_0095_0035__person(R_0095_0034__A_R_0095_0035__PERSON)
      & has_qual100(R_0095_0034__A_R_0095_0035__PERSON,R_0095_0036__QUITE)
      & r_0095_0036__quite(R_0095_0036__QUITE)
      & has_r_0095_0037__at(R_0095_0036__QUITE,R_0095_0038__HOME)
      & has_arg1(R_0095_0023__STRETCHED_R_0095_0024__OUT,R_0095_0027__AND)
      & r_0095_0027__and(R_0095_0027__AND)
      & has_conj2(R_0095_0027__AND,R_0095_0029__ARMS)
      & r_0095_0029__arms(R_0095_0029__ARMS)
      & has_gen(R_0095_0029__ARMS,R_0095_0010__THE_R_0095_0012__COMER)
      & r_0095_0010__the_r_0095_0012__comer(R_0095_0010__THE_R_0095_0012__COMER)
      & has_attrib30(R_0095_0010__THE_R_0095_0012__COMER,R_0095_0011__SELF__HYPHEN__INVITED)
      & has_conj1(R_0095_0027__AND,R_0095_0026__LEGS)
      & r_0095_0026__legs(R_0095_0026__LEGS)
      & has_gen(R_0095_0026__LEGS,R_0095_0010__THE_R_0095_0012__COMER)
      & has_arg0(R_0095_0023__STRETCHED_R_0095_0024__OUT,R_0095_0010__THE_R_0095_0012__COMER)
      & has_conj1(Z_000_95_A_HARDY_1883_43,R_0095_0016__HAVING_R_0095_0017__GOT)
      & r_0095_0016__having_r_0095_0017__got(R_0095_0016__HAVING_R_0095_0017__GOT)
      & has_r_0095_0019__inside_clr56(R_0095_0016__HAVING_R_0095_0017__GOT,R_0095_0020__THE_R_0095_0021__CHIMNEY__HYPHEN__CORNER)
      & has_nim50(R_0095_0016__HAVING_R_0095_0017__GOT,R_0095_0018__COMPLETELY)
      & has_arg0(R_0095_0016__HAVING_R_0095_0017__GOT,R_0095_0010__THE_R_0095_0012__COMER)
      & r_0095_0006__and(R_0095_0006__AND)
      & has_conj2(R_0095_0006__AND,R_0095_0007__MADE)
      & r_0095_0007__made(R_0095_0007__MADE)
      & has_r_0095_0009__for_clr27(R_0095_0007__MADE,R_0095_0010__THE_R_0095_0012__COMER)
      & has_arg1(R_0095_0007__MADE,R_0095_0008__ROOM)
      & has_arg0(R_0095_0007__MADE,R_0095_0001__MRS_DOT__R_0095_0002__SHEPHERD_R_0095_0003__FENNEL)
      & has_conj1(R_0095_0006__AND,R_0095_0004__ASSENTED)
      & r_0095_0004__assented(R_0095_0004__ASSENTED)
      & has_arg0(R_0095_0004__ASSENTED,R_0095_0001__MRS_DOT__R_0095_0002__SHEPHERD_R_0095_0003__FENNEL) ) ).

( (IP-MAT (NP-SBJ;{WIFE} (N Mrs<dot>)
                         (NPR Shepherd;{Shepherd})
                         (NPR Fennel;{Fennel}))
          (ILYR (ILYR (VBD;_I_ assented;{assent}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn.pr_ made;{make[for]})
                             (NP-OB1 (N room;{room}))
                             (PP-CLR (P-ROLE for;{for})
                                     (NP;{PEDESTRIAN} (D the;{the})
                                                      (ADJP (ADJ self_<hyphen>_invited;{self_invited}))
                                                      (N comer;{comer})
                                                      (PUNC ,)
                                                      (IP-REL (NP-SBJ (RPRO who;{who}))
                                                              (PUNC ,)
                                                              (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ having;{have})
                                                                                (IP-PPL-CAT (VVN;_Ipr_ got;{get[inside]})
                                                                                            (ADVP-NIM (ADV completely;{completely}))
                                                                                            (PP-CLR (P-ROLE inside;{inside})
                                                                                                    (NP (D the;{the})
                                                                                                        (N chimney_<hyphen>_corner;{chimney_corner}))))))
                                                              (PUNC ,)
                                                              (VBD;_phr_Vn<=>p_ stretched;{stretch[out]})
                                                              (RP out;{out})
                                                              (NP-OB1 (NLYR (NLYR (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                                                  (NS legs;{leg}))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (NLYR (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                                                         (NS arms;{arm})))))
                                                              (PP-NIM (P-ROLE with;{with})
                                                                      (NP (D the;{the})
                                                                          (N expansiveness;{expansiveness})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (D a;{a})
                                                                                  (N person;{person})
                                                                                  (ADVP-NIM (ADV quite;{quite})
                                                                                            (PP (P-ROLE at;{at})
                                                                                                (NP (N home;{home}))))))))))))))
          (PUNC .))
  (ID 95_a_hardy_1883))