arc(r_0057_0002__clothes, r_0057_0001__His, gen).
arc(r_0057_0003__were, r_0057_0002__clothes, arg0).
arc(r_0057_0003__were, r_0057_0005__fustian, r_0057_0004__of_clr17).
arc(r_0057_0007__and, r_0057_0003__were, conj1).
arc(r_0057_0007__and, z_000_57_a_hardy_1883_25, conj2).
arc(r_0057_0009__boots, r_0057_0008__his, gen).
arc(r_0057_0010__hobnailed, r_0057_0009__boots, arg1).
arc(r_0057_0010__hobnailed, z_000_57_a_hardy_1883_33, arg0).
arc(r_0057_0012__yet, r_0057_0007__and, conj1).
arc(r_0057_0012__yet, r_0057_0017__showed_r_0057_0018__not, conj2).
arc(r_0057_0015__progress, r_0057_0014__his, gen).
arc(r_0057_0017__showed_r_0057_0018__not, r_0057_0015__progress, r_0057_0013__in_nim46).
arc(r_0057_0017__showed_r_0057_0018__not, r_0057_0016__he, arg0).
arc(r_0057_0017__showed_r_0057_0018__not, r_0057_0019__the_r_0057_0021__bearing, arg1).
arc(r_0057_0019__the_r_0057_0021__bearing, r_0057_0020__mud__hyphen__accustomed, attrib62).
arc(r_0057_0019__the_r_0057_0021__bearing, r_0057_0026__peasantry, r_0057_0022__of).
arc(r_0057_0024__and, r_0057_0023__hobnailed, conj1).
arc(r_0057_0024__and, r_0057_0025__fustianed, conj2).
arc(r_0057_0026__peasantry, r_0057_0024__and, attrib71).
arc(z_000_57_a_hardy_1883_25, r_0057_0010__hobnailed, scope).

fof(formula,axiom,
    ? [R_0057_0001__HIS,R_0057_0002__CLOTHES,R_0057_0005__FUSTIAN,R_0057_0003__WERE,R_0057_0008__HIS,R_0057_0009__BOOTS,Z_000_57_A_HARDY_1883_33,Z_000_57_A_HARDY_1883_25_R_0057_0010__HOBNAILED,R_0057_0007__AND,R_0057_0014__HIS,R_0057_0015__PROGRESS,R_0057_0016__HE,R_0057_0020__MUD__HYPHEN__ACCUSTOMED,R_0057_0023__HOBNAILED,R_0057_0025__FUSTIANED,R_0057_0024__AND,R_0057_0026__PEASANTRY,R_0057_0019__THE_R_0057_0021__BEARING,R_0057_0017__SHOWED_R_0057_0018__NOT,R_0057_0012__YET] :
      ( r_0057_0001__His(R_0057_0001__HIS)
      & r_0057_0005__fustian(R_0057_0005__FUSTIAN)
      & r_0057_0008__his(R_0057_0008__HIS)
      & r_0057_0014__his(R_0057_0014__HIS)
      & r_0057_0016__he(R_0057_0016__HE)
      & r_0057_0020__mud__hyphen__accustomed(R_0057_0020__MUD__HYPHEN__ACCUSTOMED)
      & r_0057_0023__hobnailed(R_0057_0023__HOBNAILED)
      & r_0057_0025__fustianed(R_0057_0025__FUSTIANED)
      & z_000_57_a_hardy_1883_33(Z_000_57_A_HARDY_1883_33)
      & r_0057_0012__yet(R_0057_0012__YET)
      & has_conj2(R_0057_0012__YET,R_0057_0017__SHOWED_R_0057_0018__NOT)
      & ~ ( has_arg1(R_0057_0017__SHOWED_R_0057_0018__NOT,R_0057_0019__THE_R_0057_0021__BEARING)
          & r_0057_0019__the_r_0057_0021__bearing(R_0057_0019__THE_R_0057_0021__BEARING)
          & has_r_0057_0022__of(R_0057_0019__THE_R_0057_0021__BEARING,R_0057_0026__PEASANTRY)
          & r_0057_0026__peasantry(R_0057_0026__PEASANTRY)
          & has_attrib71(R_0057_0026__PEASANTRY,R_0057_0024__AND)
          & r_0057_0024__and(R_0057_0024__AND)
          & has_conj2(R_0057_0024__AND,R_0057_0025__FUSTIANED)
          & has_conj1(R_0057_0024__AND,R_0057_0023__HOBNAILED)
          & has_attrib62(R_0057_0019__THE_R_0057_0021__BEARING,R_0057_0020__MUD__HYPHEN__ACCUSTOMED)
          & has_arg0(R_0057_0017__SHOWED_R_0057_0018__NOT,R_0057_0016__HE)
          & has_r_0057_0013__in_nim46(R_0057_0017__SHOWED_R_0057_0018__NOT,R_0057_0015__PROGRESS)
          & r_0057_0015__progress(R_0057_0015__PROGRESS)
          & has_gen(R_0057_0015__PROGRESS,R_0057_0014__HIS) )
      & has_conj1(R_0057_0012__YET,R_0057_0007__AND)
      & r_0057_0007__and(R_0057_0007__AND)
      & has_conj2(R_0057_0007__AND,Z_000_57_A_HARDY_1883_25_R_0057_0010__HOBNAILED)
      & z_000_57_a_hardy_1883_25_r_0057_0010__hobnailed(Z_000_57_A_HARDY_1883_25_R_0057_0010__HOBNAILED)
      & has_arg0(Z_000_57_A_HARDY_1883_25_R_0057_0010__HOBNAILED,Z_000_57_A_HARDY_1883_33)
      & has_arg1(Z_000_57_A_HARDY_1883_25_R_0057_0010__HOBNAILED,R_0057_0009__BOOTS)
      & r_0057_0009__boots(R_0057_0009__BOOTS)
      & has_gen(R_0057_0009__BOOTS,R_0057_0008__HIS)
      & has_conj1(R_0057_0007__AND,R_0057_0003__WERE)
      & r_0057_0003__were(R_0057_0003__WERE)
      & has_r_0057_0004__of_clr17(R_0057_0003__WERE,R_0057_0005__FUSTIAN)
      & has_arg0(R_0057_0003__WERE,R_0057_0002__CLOTHES)
      & r_0057_0002__clothes(R_0057_0002__CLOTHES)
      & has_gen(R_0057_0002__CLOTHES,R_0057_0001__HIS) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ His;{his}))
                                          (NS clothes;{clothes}))
                                  (BED;_Ipr_ were;{be[of]})
                                  (PP-CLR (P-ROLE of;{of})
                                          (NP (N fustian;{fustian}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                 (NS boots;{boot}))
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;__ hobnailed;{hobnail}))))))
                (PUNC ,)
                (CONJP (CONJ yet;{yet})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                         (N progress;{progress})))
                             (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                             (VBD;__ showed;{show})
                             (NEG not;{not})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ mud_<hyphen>_accustomed;{mud_accustomed}))
                                     (N bearing;{bearing})
                                     (PP (P-ROLE of;{of})
                                         (NP (ADJP (AJLYR (AJLYR (ADJ hobnailed;{hobnailed}))
                                                          (CONJP (CONJ and;{and})
                                                                 (AJLYR (ADJ fustianed;{fustianed})))))
                                             (N peasantry;{peasantry})))))))
          (PUNC .))
  (ID 57_a_hardy_1883))