TSPC 86_a_hardy

86_a_hardy_1883
‘Nor less,’ spoke up a woman. ‘For't is best to get your family over and done with, as soon as you can, so as to be all the earlier out of the fag o't.’

( (FRAG (PULQ <lquo>)
        (ADVP-NIM (ADV Nor_less;{nor_less}))
        (PUNC ,)
        (PURQ <rquo>)
        (PRN (IP-MAT (VBD;__ spoke;{speak})
                     (RP up;{up})
                     (NP-SBJ (D a;{a})
                             (N woman;{woman}))))
        (PUNC .)
        (PULQ <lquo>)
        (PP-SCON (P-CONN For;{for})
                 (IP-ADV (NP-SBJ (PRO;_provisional_ <apos>t;{it}))
                         (BEP;_La_ is;{be})
                         (ADJP-PRD (ADJS best;{good}))
                         (IP-INF-NSBJ (TO to;{to})
                                      (VB;_Cn.a_ get;{get})
                                      (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                              (N family;{family}))
                                      (ADJP-PRD (AJLYR (AJLYR (ADJ over;{over}))
                                                       (CONJP (CONJ and;{and})
                                                              (AJLYR (ADJ done_with;{done_with})))))
                                      (PUNC ,)
                                      (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                                               (IP-ADV (NP-SBJ (PRO you;{you}))
                                                       (MD;_cat_Vi_ can;{can}))))
                         (PUNC ,)
                         (PP-SCON (P-CONN so_as;{so_as})
                                  (IP-INF (TO to;{to})
                                          (BE;_Ln_ be;{be})
                                          (NP-PRD (Q;_nphd_ all;{all})
                                                  (NLYR (D the;{the})
                                                        (ADVP (ADVR earlier;{early}))
                                                        (PP (P-ROLE out_of;{out_of})
                                                            (NP (D the;{the})
                                                                (N fag;{fag})
                                                                (PP (P-ROLE o;{of})
                                                                    (NP (PRO <apos>t;{it})))))))))))
        (PUNC .)
        (PURQ <rquo>))
  (ID 86_a_hardy_1883))

arc(r_0086_0005__spoke_r_0086_0006__up,r_0086_0007__a_r_0086_0008__woman,arg0).
arc(r_0086_0011__For,r_0086_0027__so_as,restriction).
arc(r_0086_0011__For,z_0086_5026,scope).
arc(r_0086_0013__is,r_0086_0014__best,prd).
arc(r_0086_0013__is,r_0086_0023__as_soon_as,arg0).
arc(r_0086_0016__get,r_0086_0018__family,arg1).
arc(r_0086_0016__get,r_0086_0020__and,prd).
arc(r_0086_0016__get,z_0086_5002,arg0).
arc(r_0086_0018__family,r_0086_0017__your,gen).
arc(r_0086_0020__and,r_0086_0019__over,conj1).
arc(r_0086_0020__and,r_0086_0021__done_with,conj2).
arc(r_0086_0023__as_soon_as,r_0086_0016__get,scope).
arc(r_0086_0023__as_soon_as,r_0086_0025__can,restriction).
arc(r_0086_0025__can,r_0086_0017__your,arg0).
arc(r_0086_0027__so_as,r_0086_0013__is,scope).
arc(r_0086_0027__so_as,r_0086_0030__all__quant,restriction).
arc(r_0086_0029__be,z_0086_5002,arg0).
arc(r_0086_0029__be,z_0086_5009,prd).
arc(r_0086_0030__all__quant,r_0086_0029__be,scope).
arc(r_0086_0030__all__quant,z_0086_5009,restriction).
arc(r_0086_0031__the,r_0086_0032__earlier,qual).
arc(r_0086_0031__the,r_0086_0034__the_r_0086_0035__fag,r_0086_0033__out_of).
arc(r_0086_0034__the_r_0086_0035__fag,r_0086_0037___apos_t,r_0086_0036__o).
arc(z_0086_5009,r_0086_0031__the,nim).
arc(z_0086_5026,r_0086_0002__Nor_less,nim).
arc(z_0086_5026,r_0086_0005__spoke_r_0086_0006__up,prn).

fof(formula,axiom,
    ? [R_0086_0014__BEST,R_0086_0017__YOUR,R_0086_0018__FAMILY,R_0086_0019__OVER,R_0086_0021__DONE_WITH,R_0086_0020__AND,Z_0086_5002,R_0086_0016__GET,R_0086_0025__CAN,R_0086_0023__AS_SOON_AS,R_0086_0013__IS,R_0086_0027__SO_AS,R_0086_0002__NOR_LESS,R_0086_0007__A_R_0086_0008__WOMAN,R_0086_0005__SPOKE_R_0086_0006__UP,Z_0086_5026,R_0086_0011__FOR] :
      ( r_0086_0002__Nor_less(R_0086_0002__NOR_LESS)
      & r_0086_0007__a_r_0086_0008__woman(R_0086_0007__A_R_0086_0008__WOMAN)
      & r_0086_0014__best(R_0086_0014__BEST)
      & r_0086_0017__your(R_0086_0017__YOUR)
      & r_0086_0019__over(R_0086_0019__OVER)
      & r_0086_0021__done_with(R_0086_0021__DONE_WITH)
      & z_0086_5002(Z_0086_5002)
      & r_0086_0011__For(R_0086_0011__FOR)
      & has_conj2(R_0086_0011__FOR,Z_0086_5026)
      & z_0086_5026(Z_0086_5026)
      & has_prn(Z_0086_5026,R_0086_0005__SPOKE_R_0086_0006__UP)
      & r_0086_0005__spoke_r_0086_0006__up(R_0086_0005__SPOKE_R_0086_0006__UP)
      & has_arg0(R_0086_0005__SPOKE_R_0086_0006__UP,R_0086_0007__A_R_0086_0008__WOMAN)
      & has_nim(Z_0086_5026,R_0086_0002__NOR_LESS)
      & has_conj1(R_0086_0011__FOR,R_0086_0027__SO_AS)
      & r_0086_0027__so_as(R_0086_0027__SO_AS)
      & ! [Z_0086_5009,R_0086_0032__EARLIER,R_0086_0037___APOS_T,R_0086_0034__THE_R_0086_0035__FAG,R_0086_0031__THE] :
          ( ( r_0086_0032__earlier(R_0086_0032__EARLIER)
            & r_0086_0037___apos_t(R_0086_0037___APOS_T)
            & z_0086_5009(Z_0086_5009)
            & has_nim(Z_0086_5009,R_0086_0031__THE)
            & r_0086_0031__the(R_0086_0031__THE)
            & has_r_0086_0033__out_of(R_0086_0031__THE,R_0086_0034__THE_R_0086_0035__FAG)
            & r_0086_0034__the_r_0086_0035__fag(R_0086_0034__THE_R_0086_0035__FAG)
            & has_r_0086_0036__o(R_0086_0034__THE_R_0086_0035__FAG,R_0086_0037___APOS_T)
            & has_qual(R_0086_0031__THE,R_0086_0032__EARLIER) )
         => ? [R_0086_0029__BE] :
              ( r_0086_0029__be(R_0086_0029__BE)
              & has_prd(R_0086_0029__BE,Z_0086_5009)
              & has_arg0(R_0086_0029__BE,Z_0086_5002) ) )
      & has_conj2(R_0086_0027__SO_AS,R_0086_0013__IS)
      & r_0086_0013__is(R_0086_0013__IS)
      & has_arg0(R_0086_0013__IS,R_0086_0023__AS_SOON_AS)
      & r_0086_0023__as_soon_as(R_0086_0023__AS_SOON_AS)
      & has_conj1(R_0086_0023__AS_SOON_AS,R_0086_0025__CAN)
      & r_0086_0025__can(R_0086_0025__CAN)
      & has_arg0(R_0086_0025__CAN,R_0086_0017__YOUR)
      & has_conj2(R_0086_0023__AS_SOON_AS,R_0086_0016__GET)
      & r_0086_0016__get(R_0086_0016__GET)
      & has_arg0(R_0086_0016__GET,Z_0086_5002)
      & has_prd(R_0086_0016__GET,R_0086_0020__AND)
      & r_0086_0020__and(R_0086_0020__AND)
      & has_conj2(R_0086_0020__AND,R_0086_0021__DONE_WITH)
      & has_conj1(R_0086_0020__AND,R_0086_0019__OVER)
      & has_arg1(R_0086_0016__GET,R_0086_0018__FAMILY)
      & r_0086_0018__family(R_0086_0018__FAMILY)
      & has_gen(R_0086_0018__FAMILY,R_0086_0017__YOUR)
      & has_prd(R_0086_0013__IS,R_0086_0014__BEST) ) ).