TSPC 94_a_hardy

94_a_hardy_1883
I'll take a seat in the chimney-corner, if you have nothing to urge against it, ma'am; for I am a little moist on the side that was next the rain.’

arc(r_0094_0002___apos_ll, r_0094_0003__take, scope).
arc(r_0094_0003__take, r_0094_0001__I, arg0).
arc(r_0094_0003__take, r_0094_0004__a_r_0094_0005__seat, arg1).
arc(r_0094_0003__take, r_0094_0007__the_r_0094_0008__chimney__hyphen__corner, r_0094_0006__in_nim19).
arc(r_0094_0010__if, r_0094_0002___apos_ll, scope).
arc(r_0094_0010__if, r_0094_0013__nothing_quant, restriction).
arc(r_0094_0012__have, r_0094_0011__you, arg0).
arc(r_0094_0012__have, r_0094_0019__ma_apos_am, nim53).
arc(r_0094_0012__have, z_000_94_a_hardy_1883_35, arg1).
arc(r_0094_0013__nothing_quant, r_0094_0012__have, scope).
arc(r_0094_0013__nothing_quant, z_000_94_a_hardy_1883_35, restriction).
arc(r_0094_0014__to_r_0094_0015__urge, r_0094_0004__a_r_0094_0005__seat, r_0094_0016__against_clr48).
arc(r_0094_0014__to_r_0094_0015__urge, z_000_94_a_hardy_1883_35, arg0).
arc(r_0094_0021__for, r_0094_0010__if, scope).
arc(r_0094_0021__for, r_0094_0023__am, restriction).
arc(r_0094_0023__am, r_0094_0001__I, arg0).
arc(r_0094_0023__am, r_0094_0024__a_r_0094_0026__moist, prd).
arc(r_0094_0024__a_r_0094_0026__moist, r_0094_0025__little, attrib70).
arc(r_0094_0024__a_r_0094_0026__moist, r_0094_0028__the_r_0094_0029__side, r_0094_0027__on).
arc(r_0094_0030__that_r_0094_0031__was, r_0094_0028__the_r_0094_0029__side, arg0).
arc(r_0094_0030__that_r_0094_0031__was, r_0094_0032__next, clr90).
arc(r_0094_0032__next, r_0094_0033__the_r_0094_0034__rain, nim93).

fof(formula,axiom,
    ? [R_0094_0001__I,R_0094_0025__LITTLE,R_0094_0028__THE_R_0094_0029__SIDE,R_0094_0024__A_R_0094_0026__MOIST,R_0094_0023__AM,R_0094_0021__FOR,R_0094_0033__THE_R_0094_0034__RAIN,R_0094_0032__NEXT,R_0094_0030__THAT_R_0094_0031__WAS] :
      ( r_0094_0001__I(R_0094_0001__I)
      & r_0094_0025__little(R_0094_0025__LITTLE)
      & r_0094_0028__the_r_0094_0029__side(R_0094_0028__THE_R_0094_0029__SIDE)
      & r_0094_0033__the_r_0094_0034__rain(R_0094_0033__THE_R_0094_0034__RAIN)
      & r_0094_0030__that_r_0094_0031__was(R_0094_0030__THAT_R_0094_0031__WAS)
      & has_clr90(R_0094_0030__THAT_R_0094_0031__WAS,R_0094_0032__NEXT)
      & r_0094_0032__next(R_0094_0032__NEXT)
      & has_nim93(R_0094_0032__NEXT,R_0094_0033__THE_R_0094_0034__RAIN)
      & has_arg0(R_0094_0030__THAT_R_0094_0031__WAS,R_0094_0028__THE_R_0094_0029__SIDE)
      & r_0094_0021__for(R_0094_0021__FOR)
      & has_conj1(R_0094_0021__FOR,R_0094_0023__AM)
      & r_0094_0023__am(R_0094_0023__AM)
      & has_prd(R_0094_0023__AM,R_0094_0024__A_R_0094_0026__MOIST)
      & r_0094_0024__a_r_0094_0026__moist(R_0094_0024__A_R_0094_0026__MOIST)
      & has_r_0094_0027__on(R_0094_0024__A_R_0094_0026__MOIST,R_0094_0028__THE_R_0094_0029__SIDE)
      & has_attrib70(R_0094_0024__A_R_0094_0026__MOIST,R_0094_0025__LITTLE)
      & has_arg0(R_0094_0023__AM,R_0094_0001__I)
      & ! [R_0094_0013__NOTHING_QUANT] :
          ( ! [Z_000_94_A_HARDY_1883_35,R_0094_0004__A_R_0094_0005__SEAT,R_0094_0014__TO_R_0094_0015__URGE] :
              ( ( r_0094_0004__a_r_0094_0005__seat(R_0094_0004__A_R_0094_0005__SEAT)
                & z_000_94_a_hardy_1883_35(Z_000_94_A_HARDY_1883_35)
                & r_0094_0014__to_r_0094_0015__urge(R_0094_0014__TO_R_0094_0015__URGE)
                & has_arg0(R_0094_0014__TO_R_0094_0015__URGE,Z_000_94_A_HARDY_1883_35)
                & has_r_0094_0016__against_clr48(R_0094_0014__TO_R_0094_0015__URGE,R_0094_0004__A_R_0094_0005__SEAT) )
             => ? [R_0094_0011__YOU,R_0094_0019__MA_APOS_AM,R_0094_0012__HAVE] :
                  ( r_0094_0011__you(R_0094_0011__YOU)
                  & r_0094_0019__ma_apos_am(R_0094_0019__MA_APOS_AM)
                  & r_0094_0012__have(R_0094_0012__HAVE)
                  & has_arg1(R_0094_0012__HAVE,Z_000_94_A_HARDY_1883_35)
                  & has_nim53(R_0094_0012__HAVE,R_0094_0019__MA_APOS_AM)
                  & has_arg0(R_0094_0012__HAVE,R_0094_0011__YOU) ) )
         => ? [R_0094_0004__A_R_0094_0005__SEAT,R_0094_0007__THE_R_0094_0008__CHIMNEY__HYPHEN__CORNER,R_0094_0002___APOS_LL_R_0094_0003__TAKE] :
              ( r_0094_0004__a_r_0094_0005__seat(R_0094_0004__A_R_0094_0005__SEAT)
              & r_0094_0007__the_r_0094_0008__chimney__hyphen__corner(R_0094_0007__THE_R_0094_0008__CHIMNEY__HYPHEN__CORNER)
              & r_0094_0002___apos_ll_r_0094_0003__take(R_0094_0002___APOS_LL_R_0094_0003__TAKE)
              & has_r_0094_0006__in_nim19(R_0094_0002___APOS_LL_R_0094_0003__TAKE,R_0094_0007__THE_R_0094_0008__CHIMNEY__HYPHEN__CORNER)
              & has_arg1(R_0094_0002___APOS_LL_R_0094_0003__TAKE,R_0094_0004__A_R_0094_0005__SEAT)
              & has_arg0(R_0094_0002___APOS_LL_R_0094_0003__TAKE,R_0094_0001__I) ) ) ) ).

( (IP-MAT (ILYR (NP-SBJ (PRO I;{I}))
                (MD;_cat_Vi_ <apos>ll;{will})
                (IP-INF-CAT (VB;_Tn_ take;{take})
                            (NP-OB1 (D a;{a})
                                    (N seat;{seat}))
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (D the;{the})
                                        (N chimney_<hyphen>_corner;{chimney_corner}))))
                (PUNC ,)
                (PP-SCON (P-CONN if;{if})
                         (IP-ADV (NP-SBJ;{WIFE} (PRO you;{you}))
                                 (HVP;_Tn_ have;{have})
                                 (NP-OB1 (Q;_nphd_ nothing;{nothing})
                                         (IP-INF-REL (NP-SBJ *T*)
                                                     (TO to;{to})
                                                     (VB;_Ipr_ urge;{urge[against]})
                                                     (PP-CLR (P-ROLE against;{against})
                                                             (NP (PRO it;{it})))))
                                 (PUNC ,)
                                 (NP-VOC-DSC;{WIFE} (N ma<apos>am;{ma<apos>am})))))
          (PUNC ;)
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BEP;_Ln_ am;{be})
                           (NP-PRD (D a;{a})
                                   (ADJP (ADJ little;{little}))
                                   (N moist;{moist})
                                   (PP (P-ROLE on;{on})
                                       (NP (D the;{the})
                                           (N side;{side})
                                           (IP-REL (C that;{that})
                                                   (NP-SBJ *T*)
                                                   (BED;_Ip_ was;{be[next]})
                                                   (ADVP-CLR (ADV next;{next})
                                                             (NP (D the;{the})
                                                                 (N rain;{rain})))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 94_a_hardy_1883))