arc(r_0047_0001__But_r_0047_0003__took, r_0047_0002__they, arg0).
arc(r_0047_0001__But_r_0047_0003__took, r_0047_0005__notice, arg1).
arc(r_0047_0004__no_quant, r_0047_0001__But_r_0047_0003__took, scope).
arc(r_0047_0004__no_quant, r_0047_0005__notice, restriction).
arc(r_0047_0007__and, r_0047_0004__no_quant, conj1).
arc(r_0047_0007__and, z_000_47_a_hardy_1883_22, conj2).
arc(r_0047_0008__fearing, r_0047_0017__if, arg1).
arc(r_0047_0008__fearing, r_0047_0025__she, arg0).
arc(r_0047_0010__might, r_0047_0011__lose, scope).
arc(r_0047_0011__lose, r_0047_0013__character, arg1).
arc(r_0047_0011__lose, r_0047_0025__she, arg0).
arc(r_0047_0013__character, r_0047_0016__hostess, r_0047_0014__of).
arc(r_0047_0013__character, r_0047_0025__she, gen).
arc(r_0047_0016__hostess, r_0047_0015__genial, attrib47).
arc(r_0047_0017__if, r_0047_0010__might, scope).
arc(r_0047_0017__if, r_0047_0019__were, restriction).
arc(r_0047_0019__were, r_0047_0020__to_r_0047_0021__interfere, scope).
arc(r_0047_0020__to_r_0047_0021__interfere, r_0047_0023__markedly, nim66).
arc(r_0047_0020__to_r_0047_0021__interfere, r_0047_0025__she, arg0).
arc(r_0047_0023__markedly, r_0047_0022__too, qual67).
arc(r_0047_0026__retired, r_0047_0025__she, arg0).
arc(r_0047_0027__and, r_0047_0026__retired, conj1).
arc(r_0047_0027__and, r_0047_0028__sat_r_0047_0029__down, conj2).
arc(r_0047_0028__sat_r_0047_0029__down, r_0047_0025__she, arg0).
arc(r_0047_0028__sat_r_0047_0029__down, r_0047_0030__helpless, nim89).
arc(z_000_47_a_hardy_1883_22, r_0047_0008__fearing, restriction).
arc(z_000_47_a_hardy_1883_22, r_0047_0027__and, scope).

fof(formula,axiom,
    ? [R_47_7_AND,Z_47_A_HARDY_1883_22,R_47_8_FEARING,R_47_27_AND,R_47_26_RETIRED,R_47_28_SAT_DOWN,R_47_25_SHE,R_47_30_HELPLESS] :
      ( she(R_47_25_SHE)
      & helpless(R_47_30_HELPLESS)
      & ! [R_47_5_NOTICE] :
          ( notice(R_47_5_NOTICE)
         => ? [R_47_1_BUT_TOOK,R_47_2_THEY] :
              ( they(R_47_2_THEY)
              & but_took(R_47_1_BUT_TOOK,R_47_2_THEY,R_47_5_NOTICE) ) )
      & conj1(CONJ1)
      & and(R_47_7_AND)
      & conj2(R_47_7_AND,Z_47_A_HARDY_1883_22)
      & z_47_a_hardy_1883_22(Z_47_A_HARDY_1883_22)
      & conj1(Z_47_A_HARDY_1883_22,R_47_8_FEARING)
      & ! [R_47_19_WERE_TO_INTERFERE,R_47_23_MARKEDLY,R_47_22_TOO] :
          ( ( too(R_47_22_TOO)
            & were_to_interfere(R_47_19_WERE_TO_INTERFERE,R_47_25_SHE)
            & nim66(R_47_19_WERE_TO_INTERFERE,R_47_23_MARKEDLY)
            & markedly(R_47_23_MARKEDLY)
            & qual67(R_47_23_MARKEDLY,R_47_22_TOO) )
         => ? [R_47_10_MIGHT_LOSE,R_47_13_CHARACTER,R_47_16_HOSTESS,R_47_15_GENIAL] :
              ( genial(R_47_15_GENIAL)
              & might_lose(R_47_10_MIGHT_LOSE,R_47_25_SHE,R_47_13_CHARACTER)
              & character(R_47_13_CHARACTER)
              & gen(R_47_13_CHARACTER,R_47_25_SHE)
              & of(R_47_13_CHARACTER,R_47_16_HOSTESS)
              & hostess(R_47_16_HOSTESS)
              & attrib47(R_47_16_HOSTESS,R_47_15_GENIAL) ) )
      & arg1(ARG1)
      & fearing(R_47_8_FEARING,R_47_25_SHE)
      & conj2(Z_47_A_HARDY_1883_22,R_47_27_AND)
      & and(R_47_27_AND)
      & conj1(R_47_27_AND,R_47_26_RETIRED)
      & retired(R_47_26_RETIRED,R_47_25_SHE)
      & conj2(R_47_27_AND,R_47_28_SAT_DOWN)
      & sat_down(R_47_28_SAT_DOWN,R_47_25_SHE)
      & nim89(R_47_28_SAT_DOWN,R_47_30_HELPLESS) ) ).

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ But;{but})
                      (NP-SBJ;{FIDDLER_SERPENT_PLAYER} (PRO they;{they}))
                      (VBD;__ took;{take})
                      (NP-OB1 (Q no;{no})
                              (N notice;{notice})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (IP-PPL2 (VAG;__ fearing;{fear})
                                               (CP-THT-OB1 (IP-SUB (ILYR (NP-SBJ;{WIFE} (PRO she;{she}))
                                                                         (MD;_cat_Vi_ might;{may})
                                                                         (IP-INF-CAT (VB;__ lose;{lose})
                                                                                     (NP-OB1 (NP-GEN;{WIFE} (PRO;_genm_ her;{her}))
                                                                                             (N character;{character})
                                                                                             (PP (P-ROLE of;{of})
                                                                                                 (NP (ADJP (ADJ genial;{genial}))
                                                                                                     (N hostess;{hostess}))))))
                                                                   (PP-SCON (P-CONN if;{if})
                                                                            (IP-ADV (NP-SBJ;{WIFE} (PRO she;{she}))
                                                                                    (BED;_cat_Vt_ were;{be})
                                                                                    (IP-INF-CAT (TO to;{to})
                                                                                                (VB;__ interfere;{interfere})
                                                                                                (ADVP-NIM (ADVP (ADV too;{too}))
                                                                                                          (ADV markedly;{markedly})))))))))
                             (PUNC ,)
                             (NP-SBJ;{WIFE} (PRO she;{she}))
                             (ILYR (ILYR (VBD;__ retired;{retire}))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;__ sat;{sit})
                                                (RP down;{down})
                                                (ADVP-NIM (ADV helpless;{helpless}))))))))
          (PUNC .))
  (ID 47_a_hardy_1883))