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, 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_0007__the_r_0094_0008__chimney__hyphen__corner, 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_94_21_FOR,R_94_23_AM,R_94_1_I,R_94_24_A_MOIST,R_94_25_LITTLE,R_94_30_THAT_WAS,R_94_28_THE_SIDE,R_94_32_NEXT,R_94_33_THE_RAIN] :
      ( i(R_94_1_I)
      & little(R_94_25_LITTLE)
      & the_side(R_94_28_THE_SIDE)
      & the_rain(R_94_33_THE_RAIN)
      & ( ! [R_94_14_TO_URGE,Z_94_A_HARDY_1883_35,R_94_7_THE_CHIMNEY_HYPHEN_CORNER] :
            ( ( the_chimney_hyphen_corner(R_94_7_THE_CHIMNEY_HYPHEN_CORNER)
              & to_urge(R_94_14_TO_URGE,Z_94_A_HARDY_1883_35)
              & against_clr48(R_94_14_TO_URGE,R_94_7_THE_CHIMNEY_HYPHEN_CORNER) )
           => ? [R_94_12_HAVE,R_94_11_YOU] :
                ( you(R_94_11_YOU)
                & have(R_94_12_HAVE,R_94_11_YOU,Z_94_A_HARDY_1883_35) ) )
       => ? [R_94_2__APOS_LL_TAKE,R_94_4_A_SEAT,R_94_7_THE_CHIMNEY_HYPHEN_CORNER] :
            ( a_seat(R_94_4_A_SEAT)
            & the_chimney_hyphen_corner(R_94_7_THE_CHIMNEY_HYPHEN_CORNER)
            & _apos_ll_take(R_94_2__APOS_LL_TAKE,R_94_1_I,R_94_4_A_SEAT)
            & in_nim19(R_94_2__APOS_LL_TAKE,R_94_7_THE_CHIMNEY_HYPHEN_CORNER) ) )
      & conj2(CONJ2)
      & for(R_94_21_FOR)
      & conj1(R_94_21_FOR,R_94_23_AM)
      & am(R_94_23_AM,R_94_1_I,R_94_24_A_MOIST)
      & a_moist(R_94_24_A_MOIST)
      & attrib70(R_94_24_A_MOIST,R_94_25_LITTLE)
      & on(R_94_24_A_MOIST,R_94_28_THE_SIDE)
      & that_was(R_94_30_THAT_WAS,R_94_28_THE_SIDE)
      & clr90(R_94_30_THAT_WAS,R_94_32_NEXT)
      & next(R_94_32_NEXT)
      & nim93(R_94_32_NEXT,R_94_33_THE_RAIN) ) ).

( (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))