TSPC 82_a_hardy

82_a_hardy_1883
His hat, which for a moment he did not remove, hung low over his eyes, without concealing that they were large, open, and determined, moving with a flash rather than a glance round the room.

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

arc(r_0082_0002__hat,r_0082_0001__His,gen).
arc(r_0082_0009__did_r_0082_0011__remove,r_0082_0001__His,arg0).
arc(r_0082_0009__did_r_0082_0011__remove,r_0082_0002__hat,arg1).
arc(r_0082_0009__did_r_0082_0011__remove,r_0082_0006__a_r_0082_0007__moment,r_0082_0005__for__nim).
arc(r_0082_0010__not,r_0082_0009__did_r_0082_0011__remove,keep_scope).
arc(r_0082_0013__hung_r_0082_0015__over,r_0082_0002__hat,arg0).
arc(r_0082_0013__hung_r_0082_0015__over,r_0082_0014__low,nim).
arc(r_0082_0013__hung_r_0082_0015__over,r_0082_0017__eyes,arg1).
arc(r_0082_0013__hung_r_0082_0015__over,r_0082_0020__concealing,r_0082_0019__without__nim).
arc(r_0082_0017__eyes,r_0082_0001__His,gen).
arc(r_0082_0020__concealing,r_0082_0017__eyes,arg0).
arc(r_0082_0020__concealing,z_0082_5011,arg1).
arc(r_0082_0023__were,r_0082_0017__eyes,arg0).
arc(r_0082_0023__were,r_0082_0028__and,prd).
arc(r_0082_0028__and,r_0082_0024__large,conj1).
arc(r_0082_0028__and,r_0082_0026__open,conj2).
arc(r_0082_0028__and,r_0082_0029__determined,conj3).
arc(r_0082_0031__moving,r_0082_0017__eyes,arg0).
arc(r_0082_0031__moving,r_0082_0033__a_r_0082_0034__flash,r_0082_0032__with__nim).
arc(r_0082_0031__moving,r_0082_0035__rather,nim).
arc(r_0082_0035__rather,z_0082_5019,r_0082_0036__than).
arc(r_0082_0037__a_r_0082_0038__glance,r_0082_0040__the_r_0082_0041__room,r_0082_0039__round).
arc(z_0082_5011,r_0082_0023__were,scope).
arc(z_0082_5011,r_0082_0031__moving,restriction).
arc(z_0082_5019,r_0082_0037__a_r_0082_0038__glance,nim).
arc(z_0082_5019,z_0082_5016,arg0).

fof(formula,axiom,
    ? [R_0082_0001__HIS,R_0082_0002__HAT,R_0082_0014__LOW,R_0082_0017__EYES,R_0082_0024__LARGE,R_0082_0026__OPEN,R_0082_0029__DETERMINED,R_0082_0028__AND,R_0082_0023__WERE,R_0082_0033__A_R_0082_0034__FLASH,R_0082_0040__THE_R_0082_0041__ROOM,R_0082_0037__A_R_0082_0038__GLANCE,Z_0082_5016,Z_0082_5019,R_0082_0035__RATHER,R_0082_0031__MOVING,Z_0082_5011,R_0082_0020__CONCEALING,R_0082_0013__HUNG_R_0082_0015__OVER] :
      ( r_0082_0001__His(R_0082_0001__HIS)
      & r_0082_0014__low(R_0082_0014__LOW)
      & r_0082_0024__large(R_0082_0024__LARGE)
      & r_0082_0026__open(R_0082_0026__OPEN)
      & r_0082_0029__determined(R_0082_0029__DETERMINED)
      & r_0082_0033__a_r_0082_0034__flash(R_0082_0033__A_R_0082_0034__FLASH)
      & r_0082_0040__the_r_0082_0041__room(R_0082_0040__THE_R_0082_0041__ROOM)
      & z_0082_5016(Z_0082_5016)
      & r_0082_0013__hung_r_0082_0015__over(R_0082_0013__HUNG_R_0082_0015__OVER)
      & has_r_0082_0019__without__nim(R_0082_0013__HUNG_R_0082_0015__OVER,R_0082_0020__CONCEALING)
      & r_0082_0020__concealing(R_0082_0020__CONCEALING)
      & has_arg1(R_0082_0020__CONCEALING,Z_0082_5011)
      & z_0082_5011(Z_0082_5011)
      & has_conj1(Z_0082_5011,R_0082_0031__MOVING)
      & r_0082_0031__moving(R_0082_0031__MOVING)
      & has_nim(R_0082_0031__MOVING,R_0082_0035__RATHER)
      & r_0082_0035__rather(R_0082_0035__RATHER)
      & has_r_0082_0036__than(R_0082_0035__RATHER,Z_0082_5019)
      & z_0082_5019(Z_0082_5019)
      & has_arg0(Z_0082_5019,Z_0082_5016)
      & has_nim(Z_0082_5019,R_0082_0037__A_R_0082_0038__GLANCE)
      & r_0082_0037__a_r_0082_0038__glance(R_0082_0037__A_R_0082_0038__GLANCE)
      & has_r_0082_0039__round(R_0082_0037__A_R_0082_0038__GLANCE,R_0082_0040__THE_R_0082_0041__ROOM)
      & has_r_0082_0032__with__nim(R_0082_0031__MOVING,R_0082_0033__A_R_0082_0034__FLASH)
      & has_arg0(R_0082_0031__MOVING,R_0082_0017__EYES)
      & r_0082_0017__eyes(R_0082_0017__EYES)
      & has_gen(R_0082_0017__EYES,R_0082_0001__HIS)
      & has_conj2(Z_0082_5011,R_0082_0023__WERE)
      & r_0082_0023__were(R_0082_0023__WERE)
      & has_prd(R_0082_0023__WERE,R_0082_0028__AND)
      & r_0082_0028__and(R_0082_0028__AND)
      & has_conj3(R_0082_0028__AND,R_0082_0029__DETERMINED)
      & has_conj2(R_0082_0028__AND,R_0082_0026__OPEN)
      & has_conj1(R_0082_0028__AND,R_0082_0024__LARGE)
      & has_arg0(R_0082_0023__WERE,R_0082_0017__EYES)
      & has_arg0(R_0082_0020__CONCEALING,R_0082_0017__EYES)
      & has_arg1(R_0082_0013__HUNG_R_0082_0015__OVER,R_0082_0017__EYES)
      & has_nim(R_0082_0013__HUNG_R_0082_0015__OVER,R_0082_0014__LOW)
      & has_arg0(R_0082_0013__HUNG_R_0082_0015__OVER,R_0082_0002__HAT)
      & r_0082_0002__hat(R_0082_0002__HAT)
      & has_gen(R_0082_0002__HAT,R_0082_0001__HIS)
      & ~ ? [R_0082_0006__A_R_0082_0007__MOMENT,R_0082_0009__DID_R_0082_0011__REMOVE] :
            ( r_0082_0006__a_r_0082_0007__moment(R_0082_0006__A_R_0082_0007__MOMENT)
            & r_0082_0009__did_r_0082_0011__remove(R_0082_0009__DID_R_0082_0011__REMOVE)
            & has_r_0082_0005__for__nim(R_0082_0009__DID_R_0082_0011__REMOVE,R_0082_0006__A_R_0082_0007__MOMENT)
            & has_arg1(R_0082_0009__DID_R_0082_0011__REMOVE,R_0082_0002__HAT)
            & has_arg0(R_0082_0009__DID_R_0082_0011__REMOVE,R_0082_0001__HIS) ) ) ).