arc(r_0083_0002__hat, r_0083_0001__His, gen).
arc(r_0083_0009__did_r_0083_0010__not_r_0083_0011__remove, r_0083_0001__His, arg0).
arc(r_0083_0009__did_r_0083_0010__not_r_0083_0011__remove, r_0083_0002__hat, arg1).
arc(r_0083_0009__did_r_0083_0010__not_r_0083_0011__remove, r_0083_0006__a_r_0083_0007__moment, r_0083_0005__for_nim17).
arc(r_0083_0013__hung, r_0083_0002__hat, arg0).
arc(r_0083_0013__hung, r_0083_0014__low, nim35).
arc(r_0083_0013__hung, r_0083_0017__eyes, r_0083_0015__over_clr41).
arc(r_0083_0013__hung, r_0083_0020__concealing, r_0083_0019__without_nim52).
arc(r_0083_0017__eyes, r_0083_0016__his, gen).
arc(r_0083_0020__concealing, z_000_83_a_hardy_1883_52, arg0).
arc(r_0083_0020__concealing, z_000_83_a_hardy_1883_85, arg1).
arc(r_0083_0021__that_r_0083_0023__were, r_0083_0022__they, arg0).
arc(r_0083_0021__that_r_0083_0023__were, r_0083_0028__and, prd).
arc(r_0083_0028__and, r_0083_0024__large, conj1).
arc(r_0083_0028__and, r_0083_0026__open, conj2).
arc(r_0083_0028__and, r_0083_0029__determined, conj3).
arc(r_0083_0031__moving, r_0083_0022__they, arg0).
arc(r_0083_0031__moving, r_0083_0033__a_r_0083_0034__flash, r_0083_0032__with_nim92).
arc(r_0083_0031__moving, r_0083_0035__rather, nim97).
arc(r_0083_0035__rather, z_000_83_a_hardy_1883_103, r_0083_0036__than).
arc(r_0083_0037__a_r_0083_0038__glance, r_0083_0040__the_r_0083_0041__room, r_0083_0039__round).
arc(z_000_83_a_hardy_1883_103, r_0083_0037__a_r_0083_0038__glance, nim104).
arc(z_000_83_a_hardy_1883_85, r_0083_0021__that_r_0083_0023__were, scope).
arc(z_000_83_a_hardy_1883_85, r_0083_0031__moving, restriction).

fof(formula,axiom,
    ? [R_0083_0001__HIS,R_0083_0002__HAT,R_0083_0006__A_R_0083_0007__MOMENT,R_0083_0009__DID_R_0083_0010__NOT_R_0083_0011__REMOVE,R_0083_0014__LOW,R_0083_0016__HIS,R_0083_0017__EYES,Z_000_83_A_HARDY_1883_52,R_0083_0022__THEY,R_0083_0024__LARGE,R_0083_0026__OPEN,R_0083_0029__DETERMINED,R_0083_0028__AND,R_0083_0021__THAT_R_0083_0023__WERE,R_0083_0033__A_R_0083_0034__FLASH,R_0083_0040__THE_R_0083_0041__ROOM,R_0083_0037__A_R_0083_0038__GLANCE,Z_000_83_A_HARDY_1883_103,R_0083_0035__RATHER,R_0083_0031__MOVING,Z_000_83_A_HARDY_1883_85,R_0083_0020__CONCEALING,R_0083_0013__HUNG] :
      ( r_0083_0001__His(R_0083_0001__HIS)
      & r_0083_0006__a_r_0083_0007__moment(R_0083_0006__A_R_0083_0007__MOMENT)
      & r_0083_0014__low(R_0083_0014__LOW)
      & r_0083_0016__his(R_0083_0016__HIS)
      & r_0083_0022__they(R_0083_0022__THEY)
      & r_0083_0024__large(R_0083_0024__LARGE)
      & r_0083_0026__open(R_0083_0026__OPEN)
      & r_0083_0029__determined(R_0083_0029__DETERMINED)
      & r_0083_0033__a_r_0083_0034__flash(R_0083_0033__A_R_0083_0034__FLASH)
      & r_0083_0040__the_r_0083_0041__room(R_0083_0040__THE_R_0083_0041__ROOM)
      & z_000_83_a_hardy_1883_52(Z_000_83_A_HARDY_1883_52)
      & r_0083_0013__hung(R_0083_0013__HUNG)
      & has_r_0083_0019__without_nim52(R_0083_0013__HUNG,R_0083_0020__CONCEALING)
      & r_0083_0020__concealing(R_0083_0020__CONCEALING)
      & has_arg1(R_0083_0020__CONCEALING,Z_000_83_A_HARDY_1883_85)
      & z_000_83_a_hardy_1883_85(Z_000_83_A_HARDY_1883_85)
      & has_conj1(Z_000_83_A_HARDY_1883_85,R_0083_0031__MOVING)
      & r_0083_0031__moving(R_0083_0031__MOVING)
      & has_nim97(R_0083_0031__MOVING,R_0083_0035__RATHER)
      & r_0083_0035__rather(R_0083_0035__RATHER)
      & has_r_0083_0036__than(R_0083_0035__RATHER,Z_000_83_A_HARDY_1883_103)
      & z_000_83_a_hardy_1883_103(Z_000_83_A_HARDY_1883_103)
      & has_nim104(Z_000_83_A_HARDY_1883_103,R_0083_0037__A_R_0083_0038__GLANCE)
      & r_0083_0037__a_r_0083_0038__glance(R_0083_0037__A_R_0083_0038__GLANCE)
      & has_r_0083_0039__round(R_0083_0037__A_R_0083_0038__GLANCE,R_0083_0040__THE_R_0083_0041__ROOM)
      & has_r_0083_0032__with_nim92(R_0083_0031__MOVING,R_0083_0033__A_R_0083_0034__FLASH)
      & has_arg0(R_0083_0031__MOVING,R_0083_0022__THEY)
      & has_conj2(Z_000_83_A_HARDY_1883_85,R_0083_0021__THAT_R_0083_0023__WERE)
      & r_0083_0021__that_r_0083_0023__were(R_0083_0021__THAT_R_0083_0023__WERE)
      & has_prd(R_0083_0021__THAT_R_0083_0023__WERE,R_0083_0028__AND)
      & r_0083_0028__and(R_0083_0028__AND)
      & has_conj3(R_0083_0028__AND,R_0083_0029__DETERMINED)
      & has_conj2(R_0083_0028__AND,R_0083_0026__OPEN)
      & has_conj1(R_0083_0028__AND,R_0083_0024__LARGE)
      & has_arg0(R_0083_0021__THAT_R_0083_0023__WERE,R_0083_0022__THEY)
      & has_arg0(R_0083_0020__CONCEALING,Z_000_83_A_HARDY_1883_52)
      & has_r_0083_0015__over_clr41(R_0083_0013__HUNG,R_0083_0017__EYES)
      & r_0083_0017__eyes(R_0083_0017__EYES)
      & has_gen(R_0083_0017__EYES,R_0083_0016__HIS)
      & has_nim35(R_0083_0013__HUNG,R_0083_0014__LOW)
      & has_arg0(R_0083_0013__HUNG,R_0083_0002__HAT)
      & r_0083_0002__hat(R_0083_0002__HAT)
      & has_gen(R_0083_0002__HAT,R_0083_0001__HIS)
      & ~ ( has_r_0083_0005__for_nim17(R_0083_0009__DID_R_0083_0010__NOT_R_0083_0011__REMOVE,R_0083_0006__A_R_0083_0007__MOMENT)
          & has_arg1(R_0083_0009__DID_R_0083_0010__NOT_R_0083_0011__REMOVE,R_0083_0002__HAT)
          & has_arg0(R_0083_0009__DID_R_0083_0010__NOT_R_0083_0011__REMOVE,R_0083_0001__HIS) ) ) ).

( (IP-MAT (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ His;{his}))
                  (N hat;{hat})
                  (PUNC ,)
                  (IP-REL (NP-OB1 (RPRO which;{which}))
                          (PP-NIM (P-ROLE for;{for})
                                  (NP (D a;{a})
                                      (N moment;{moment})))
                          (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                          (DOD did;{do})
                          (NEG not;{not})
                          (VB;_Tn_ remove;{remove})))
          (PUNC ,)
          (VBD;_Ipr_ hung;{hang[over]})
          (ADVP-NIM (ADV low;{low}))
          (PP-CLR (P-ROLE over;{over})
                  (NP;{EYES_OF_PEDESTRIAN} (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                           (NS eyes;{eye})))
          (PUNC ,)
          (PP-NIM (P-ROLE without;{without})
                  (IP-PPL (VAG;_Tf_ concealing;{conceal})
                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                              (NP-SBJ;{EYES_OF_PEDESTRIAN} (PRO they;{they}))
                                              (BED;_La_ were;{be})
                                              (ADJP-PRD (AJLYR (AJLYR (ADJ large;{large}))
                                                               (PUNC ,)
                                                               (CONJP (AJLYR (ADJ open;{open})))
                                                               (PUNC ,)
                                                               (CONJP (CONJ and;{and})
                                                                      (AJLYR (ADJ determined;{determined})))))
                                              (PUNC ,)
                                              (PP-SCON (IP-PPL (VAG;_I_ moving;{move})
                                                               (PP-NIM (P-ROLE with;{with})
                                                                       (NP (D a;{a})
                                                                           (N flash;{flash})))
                                                               (ADVP-NIM (ADVR rather;{rather})
                                                                         (PP (P-ROLE than;{than})
                                                                             (IP-ADV (NP-NIM (D a;{a})
                                                                                             (N glance;{glance})
                                                                                             (PP (P-ROLE round;{round})
                                                                                                 (NP (D the;{the})
                                                                                                     (N room;{room})))))))))))))
          (PUNC .))
  (ID 83_a_hardy_1883))