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

arc(r_0056_0002__clothes,r_0056_0001__His,gen).
arc(r_0056_0003__were_r_0056_0004__of,r_0056_0002__clothes,arg0).
arc(r_0056_0003__were_r_0056_0004__of,r_0056_0005__fustian,arg1).
arc(r_0056_0007__and,r_0056_0003__were_r_0056_0004__of,conj1).
arc(r_0056_0007__and,z_0056_5009,conj2).
arc(r_0056_0009__boots,r_0056_0001__His,gen).
arc(r_0056_0010__hobnailed,r_0056_0009__boots,arg1).
arc(r_0056_0010__hobnailed,z_0056_5007___star_,arg0).
arc(r_0056_0012__yet,r_0056_0007__and,conj1).
arc(r_0056_0012__yet,r_0056_0018__not,conj2).
arc(r_0056_0015__progress,r_0056_0001__His,gen).
arc(r_0056_0017__showed,r_0056_0001__His,arg0).
arc(r_0056_0017__showed,r_0056_0015__progress,r_0056_0013__in__nim).
arc(r_0056_0017__showed,r_0056_0019__the_r_0056_0021__bearing,arg1).
arc(r_0056_0018__not,r_0056_0017__showed,keep_scope).
arc(r_0056_0019__the_r_0056_0021__bearing,r_0056_0020__mud__hyphen__accustomed,attrib).
arc(r_0056_0019__the_r_0056_0021__bearing,r_0056_0026__peasantry,r_0056_0022__of).
arc(r_0056_0024__and,r_0056_0023__hobnailed,conj1).
arc(r_0056_0024__and,r_0056_0025__fustianed,conj2).
arc(r_0056_0026__peasantry,r_0056_0024__and,attrib).
arc(z_0056_5009,r_0056_0010__hobnailed,scope).

fof(formula,axiom,
    ? [R_0056_0001__HIS,R_0056_0002__CLOTHES,R_0056_0005__FUSTIAN,R_0056_0003__WERE_R_0056_0004__OF,R_0056_0009__BOOTS,Z_0056_5007___STAR_,Z_0056_5009_R_0056_0010__HOBNAILED,R_0056_0007__AND,R_0056_0012__YET] :
      ( r_0056_0001__His(R_0056_0001__HIS)
      & r_0056_0005__fustian(R_0056_0005__FUSTIAN)
      & z_0056_5007___star_(Z_0056_5007___STAR_)
      & r_0056_0012__yet(R_0056_0012__YET)
      & has_conj2(R_0056_0012__YET,R_0056_0018__NOT)
      & ~ ? [R_0056_0015__PROGRESS,R_0056_0020__MUD__HYPHEN__ACCUSTOMED,R_0056_0023__HOBNAILED,R_0056_0025__FUSTIANED,R_0056_0024__AND,R_0056_0026__PEASANTRY,R_0056_0019__THE_R_0056_0021__BEARING,R_0056_0017__SHOWED] :
            ( r_0056_0020__mud__hyphen__accustomed(R_0056_0020__MUD__HYPHEN__ACCUSTOMED)
            & r_0056_0023__hobnailed(R_0056_0023__HOBNAILED)
            & r_0056_0025__fustianed(R_0056_0025__FUSTIANED)
            & r_0056_0017__showed(R_0056_0017__SHOWED)
            & has_arg1(R_0056_0017__SHOWED,R_0056_0019__THE_R_0056_0021__BEARING)
            & r_0056_0019__the_r_0056_0021__bearing(R_0056_0019__THE_R_0056_0021__BEARING)
            & has_r_0056_0022__of(R_0056_0019__THE_R_0056_0021__BEARING,R_0056_0026__PEASANTRY)
            & r_0056_0026__peasantry(R_0056_0026__PEASANTRY)
            & has_attrib(R_0056_0026__PEASANTRY,R_0056_0024__AND)
            & r_0056_0024__and(R_0056_0024__AND)
            & has_conj2(R_0056_0024__AND,R_0056_0025__FUSTIANED)
            & has_conj1(R_0056_0024__AND,R_0056_0023__HOBNAILED)
            & has_attrib(R_0056_0019__THE_R_0056_0021__BEARING,R_0056_0020__MUD__HYPHEN__ACCUSTOMED)
            & has_r_0056_0013__in__nim(R_0056_0017__SHOWED,R_0056_0015__PROGRESS)
            & r_0056_0015__progress(R_0056_0015__PROGRESS)
            & has_gen(R_0056_0015__PROGRESS,R_0056_0001__HIS)
            & has_arg0(R_0056_0017__SHOWED,R_0056_0001__HIS) )
      & has_conj1(R_0056_0012__YET,R_0056_0007__AND)
      & r_0056_0007__and(R_0056_0007__AND)
      & has_conj2(R_0056_0007__AND,Z_0056_5009_R_0056_0010__HOBNAILED)
      & z_0056_5009_r_0056_0010__hobnailed(Z_0056_5009_R_0056_0010__HOBNAILED)
      & has_arg0(Z_0056_5009_R_0056_0010__HOBNAILED,Z_0056_5007___STAR_)
      & has_arg1(Z_0056_5009_R_0056_0010__HOBNAILED,R_0056_0009__BOOTS)
      & r_0056_0009__boots(R_0056_0009__BOOTS)
      & has_gen(R_0056_0009__BOOTS,R_0056_0001__HIS)
      & has_conj1(R_0056_0007__AND,R_0056_0003__WERE_R_0056_0004__OF)
      & r_0056_0003__were_r_0056_0004__of(R_0056_0003__WERE_R_0056_0004__OF)
      & has_arg1(R_0056_0003__WERE_R_0056_0004__OF,R_0056_0005__FUSTIAN)
      & has_arg0(R_0056_0003__WERE_R_0056_0004__OF,R_0056_0002__CLOTHES)
      & r_0056_0002__clothes(R_0056_0002__CLOTHES)
      & has_gen(R_0056_0002__CLOTHES,R_0056_0001__HIS) ) ).