TSPC 60_a_hardy

60_a_hardy_1883
The traveller's eye was attracted to this small building by the pallid shine of the wet slates that covered it.

( (IP-MAT (NP-SBJ (NP-GEN (D The;{the})
                          (N traveller;{traveller})
                          (GENM <apos>s))
                  (N eye;{eye}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;__ attracted;{attract})
                      (PP-NIM (P-ROLE to;{to})
                              (NP (D this;{this})
                                  (ADJP (ADJ small;{small}))
                                  (N building;{building})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D the;{the})
                                  (ADJP (ADJ pallid;{pallid}))
                                  (N shine;{shine})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (ADJP (ADJ wet;{wet}))
                                          (NS slates;{slate})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (VBD;__ covered;{cover})
                                                  (NP-OB1 (PRO it;{it}))))))))
          (PUNC .))
  (ID 60_a_hardy_1883))

arc(r_0060_0004__eye,r_0060_0001__The_r_0060_0002__traveller,gen).
arc(r_0060_0005__was,r_0060_0006__attracted,scope).
arc(r_0060_0006__attracted,r_0060_0004__eye,arg1).
arc(r_0060_0006__attracted,r_0060_0008__this_r_0060_0010__building,r_0060_0007__to__nim).
arc(r_0060_0006__attracted,r_0060_0012__the_r_0060_0014__shine,r_0060_0011__by_arg0).
arc(r_0060_0008__this_r_0060_0010__building,r_0060_0009__small,attrib).
arc(r_0060_0012__the_r_0060_0014__shine,r_0060_0013__pallid,attrib).
arc(r_0060_0012__the_r_0060_0014__shine,r_0060_0016__the_r_0060_0018__slates,r_0060_0015__of).
arc(r_0060_0016__the_r_0060_0018__slates,r_0060_0017__wet,attrib).
arc(r_0060_0020__covered,r_0060_0016__the_r_0060_0018__slates,inv_arg0).
arc(r_0060_0020__covered,r_0060_0021__it,arg1).

fof(formula,axiom,
    ? [R_0060_0001__THE_R_0060_0002__TRAVELLER,R_0060_0004__EYE,R_0060_0009__SMALL,R_0060_0008__THIS_R_0060_0010__BUILDING,R_0060_0013__PALLID,R_0060_0017__WET,R_0060_0021__IT,R_0060_0020__COVERED,R_0060_0016__THE_R_0060_0018__SLATES,R_0060_0012__THE_R_0060_0014__SHINE,R_0060_0005__WAS_R_0060_0006__ATTRACTED] :
      ( r_0060_0001__The_r_0060_0002__traveller(R_0060_0001__THE_R_0060_0002__TRAVELLER)
      & r_0060_0009__small(R_0060_0009__SMALL)
      & r_0060_0013__pallid(R_0060_0013__PALLID)
      & r_0060_0017__wet(R_0060_0017__WET)
      & r_0060_0021__it(R_0060_0021__IT)
      & r_0060_0005__was_r_0060_0006__attracted(R_0060_0005__WAS_R_0060_0006__ATTRACTED)
      & has_r_0060_0011__by_arg0(R_0060_0005__WAS_R_0060_0006__ATTRACTED,R_0060_0012__THE_R_0060_0014__SHINE)
      & r_0060_0012__the_r_0060_0014__shine(R_0060_0012__THE_R_0060_0014__SHINE)
      & has_r_0060_0015__of(R_0060_0012__THE_R_0060_0014__SHINE,R_0060_0016__THE_R_0060_0018__SLATES)
      & r_0060_0016__the_r_0060_0018__slates(R_0060_0016__THE_R_0060_0018__SLATES)
      & has_inv_arg0(R_0060_0016__THE_R_0060_0018__SLATES,R_0060_0020__COVERED)
      & r_0060_0020__covered(R_0060_0020__COVERED)
      & has_arg1(R_0060_0020__COVERED,R_0060_0021__IT)
      & has_attrib(R_0060_0016__THE_R_0060_0018__SLATES,R_0060_0017__WET)
      & has_attrib(R_0060_0012__THE_R_0060_0014__SHINE,R_0060_0013__PALLID)
      & has_r_0060_0007__to__nim(R_0060_0005__WAS_R_0060_0006__ATTRACTED,R_0060_0008__THIS_R_0060_0010__BUILDING)
      & r_0060_0008__this_r_0060_0010__building(R_0060_0008__THIS_R_0060_0010__BUILDING)
      & has_attrib(R_0060_0008__THIS_R_0060_0010__BUILDING,R_0060_0009__SMALL)
      & has_arg1(R_0060_0005__WAS_R_0060_0006__ATTRACTED,R_0060_0004__EYE)
      & r_0060_0004__eye(R_0060_0004__EYE)
      & has_gen(R_0060_0004__EYE,R_0060_0001__THE_R_0060_0002__TRAVELLER) ) ).