arc(r_0087_0011__For, r_0087_0027__so_as, restriction).
arc(r_0087_0011__For, z_000_87_a_hardy_1883_1, scope).
arc(r_0087_0013__is, r_0087_0014__best, prd).
arc(r_0087_0013__is, r_0087_0023__as_soon_as, arg0).
arc(r_0087_0015__to_r_0087_0016__get, r_0087_0018__family, arg1).
arc(r_0087_0015__to_r_0087_0016__get, r_0087_0020__and, prd).
arc(r_0087_0015__to_r_0087_0016__get, z_000_87_a_hardy_1883_30, arg0).
arc(r_0087_0018__family, r_0087_0017__your, gen).
arc(r_0087_0020__and, r_0087_0019__over, conj1).
arc(r_0087_0020__and, r_0087_0021__done_with, conj2).
arc(r_0087_0023__as_soon_as, r_0087_0015__to_r_0087_0016__get, scope).
arc(r_0087_0023__as_soon_as, r_0087_0025__can, restriction).
arc(r_0087_0025__can, r_0087_1001____star__, scope).
arc(r_0087_0027__so_as, r_0087_0013__is, scope).
arc(r_0087_0027__so_as, r_0087_0030__all_quant, restriction).
arc(r_0087_0028__to_r_0087_0029__be, r_0087_0023__as_soon_as, arg0).
arc(r_0087_0028__to_r_0087_0029__be, r_0087_0031__the, prd).
arc(r_0087_0030__all_quant, r_0087_0028__to_r_0087_0029__be, scope).
arc(r_0087_0030__all_quant, r_0087_0031__the, restriction).
arc(r_0087_0031__the, r_0087_0032__earlier, qual89).
arc(r_0087_0031__the, r_0087_0034__the_r_0087_0035__fag, r_0087_0033__out_of).
arc(r_0087_0034__the_r_0087_0035__fag, r_0087_0018__family, r_0087_0036__o).
arc(r_0087_1001____star__, r_0087_0017__your, arg0).
arc(z_000_87_a_hardy_1883_1, r_0087_0002__Nor_less, nim4).

fof(formula,axiom,
    ? [R_87_11_FOR,R_87_27_SO_AS,R_87_13_IS,R_87_23_AS_SOON_AS,R_87_25_CAN__STAR_,R_87_15_TO_GET,Z_87_A_HARDY_1883_30,R_87_18_FAMILY,R_87_17_YOUR,R_87_20_AND,R_87_19_OVER,R_87_21_DONE_WITH,R_87_14_BEST,Z_87_A_HARDY_1883_1,R_87_2_NOR_LESS] :
      ( your(R_87_17_YOUR)
      & over(R_87_19_OVER)
      & done_with(R_87_21_DONE_WITH)
      & best(R_87_14_BEST)
      & nor_less(R_87_2_NOR_LESS)
      & for(R_87_11_FOR)
      & conj1(R_87_11_FOR,R_87_27_SO_AS)
      & ! [R_87_31_THE,R_87_32_EARLIER,R_87_34_THE_FAG] :
          ( ( earlier(R_87_32_EARLIER)
            & the(R_87_31_THE)
            & qual89(R_87_31_THE,R_87_32_EARLIER)
            & out_of(R_87_31_THE,R_87_34_THE_FAG)
            & the_fag(R_87_34_THE_FAG)
            & o(R_87_34_THE_FAG,R_87_18_FAMILY) )
         => ? [R_87_28_TO_BE] : to_be(R_87_28_TO_BE,R_87_23_AS_SOON_AS,R_87_31_THE) )
      & conj1(CONJ1)
      & so_as(R_87_27_SO_AS)
      & conj2(R_87_27_SO_AS,R_87_13_IS)
      & is(R_87_13_IS,R_87_23_AS_SOON_AS,R_87_14_BEST)
      & as_soon_as(R_87_23_AS_SOON_AS)
      & conj1(R_87_23_AS_SOON_AS,R_87_25_CAN__STAR_)
      & can__star_(R_87_25_CAN__STAR_,R_87_17_YOUR)
      & conj2(R_87_23_AS_SOON_AS,R_87_15_TO_GET)
      & to_get(R_87_15_TO_GET,Z_87_A_HARDY_1883_30,R_87_18_FAMILY,R_87_20_AND)
      & family(R_87_18_FAMILY)
      & gen(R_87_18_FAMILY,R_87_17_YOUR)
      & and(R_87_20_AND)
      & conj1(R_87_20_AND,R_87_19_OVER)
      & conj2(R_87_20_AND,R_87_21_DONE_WITH)
      & conj2(R_87_11_FOR,Z_87_A_HARDY_1883_1)
      & z_87_a_hardy_1883_1(Z_87_A_HARDY_1883_1)
      & nim4(Z_87_A_HARDY_1883_1,R_87_2_NOR_LESS) ) ).

( (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})
                                                       (IP-INF-CAT (VB _*_)))))
                         (PUNC ,)
                         (PP-SCON (P-CONN so_as;{so_as})
                                  (IP-INF (TO to;{to})
                                          (BE;_Ln_ be;{be})
                                          (NP-PRD (Q;_nphd_ all;{all})
                                                  (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 87_a_hardy_1883))