TSPC 5_a_hardy

5_a_hardy_1883
In spite of its loneliness, however, the spot, by actual measurement, was not more than five miles from a county - town.

( (IP-MAT (PP-NIM (P-ROLE In_spite_of;{in_spite_of})
                  (NP (NP-GEN;{HCS} (PRO;_genm_ its;{its}))
                      (N loneliness;{loneliness})))
          (PUNC ,)
          (ADVP-NIM (ADV however;{however}))
          (PUNC ,)
          (NP-SBJ;{HCS} (D the;{the})
                        (N spot;{spot})
                        (PUNC ,)
                        (PP (P-ROLE by;{by})
                            (NP (ADJP (ADJ actual;{actual}))
                                (N measurement;{measurement}))))
          (PUNC ,)
          (BED;_La_ was;{be})
          (NEG not;{not})
          (ADJP-PRD (ADJR more;{more})
                    (PP (P-ROLE than;{than})
                        (NP (NUM five;{five})
                            (NS miles;{mile})
                            (PP (P-ROLE from;{from})
                                (NP (D a;{a})
                                    (N county;{county})
                                    (PUNC <hyphen>)
                                    (N town;{town}))))))
          (PUNC .))
  (ID 5_a_hardy_1883))

arc(r_0005_0003__loneliness,r_0005_0002__its,gen).
arc(r_0005_0007__the_r_0005_0008__spot,r_0005_0012__measurement,r_0005_0010__by).
arc(r_0005_0012__measurement,r_0005_0011__actual,attrib).
arc(r_0005_0014__was,r_0005_0003__loneliness,r_0005_0001__In_spite_of__nim).
arc(r_0005_0014__was,r_0005_0005__however,nim).
arc(r_0005_0014__was,r_0005_0007__the_r_0005_0008__spot,arg0).
arc(r_0005_0014__was,r_0005_0016__more,prd).
arc(r_0005_0015__not,r_0005_0014__was,keep_scope).
arc(r_0005_0016__more,r_0005_0018__five_r_0005_0019__miles,r_0005_0017__than).
arc(r_0005_0018__five_r_0005_0019__miles,r_0005_0021__a_r_0005_0022__county_r_0005_0024__town,r_0005_0020__from).

fof(formula,axiom,
    ~ ? [R_0005_0002__ITS,R_0005_0003__LONELINESS,R_0005_0005__HOWEVER,R_0005_0011__ACTUAL,R_0005_0012__MEASUREMENT,R_0005_0007__THE_R_0005_0008__SPOT,R_0005_0021__A_R_0005_0022__COUNTY_R_0005_0024__TOWN,R_0005_0018__FIVE_R_0005_0019__MILES,R_0005_0016__MORE,R_0005_0014__WAS] :
        ( r_0005_0002__its(R_0005_0002__ITS)
        & r_0005_0005__however(R_0005_0005__HOWEVER)
        & r_0005_0011__actual(R_0005_0011__ACTUAL)
        & r_0005_0021__a_r_0005_0022__county_r_0005_0024__town(R_0005_0021__A_R_0005_0022__COUNTY_R_0005_0024__TOWN)
        & r_0005_0014__was(R_0005_0014__WAS)
        & has_prd(R_0005_0014__WAS,R_0005_0016__MORE)
        & r_0005_0016__more(R_0005_0016__MORE)
        & has_r_0005_0017__than(R_0005_0016__MORE,R_0005_0018__FIVE_R_0005_0019__MILES)
        & r_0005_0018__five_r_0005_0019__miles(R_0005_0018__FIVE_R_0005_0019__MILES)
        & has_r_0005_0020__from(R_0005_0018__FIVE_R_0005_0019__MILES,R_0005_0021__A_R_0005_0022__COUNTY_R_0005_0024__TOWN)
        & has_arg0(R_0005_0014__WAS,R_0005_0007__THE_R_0005_0008__SPOT)
        & r_0005_0007__the_r_0005_0008__spot(R_0005_0007__THE_R_0005_0008__SPOT)
        & has_r_0005_0010__by(R_0005_0007__THE_R_0005_0008__SPOT,R_0005_0012__MEASUREMENT)
        & r_0005_0012__measurement(R_0005_0012__MEASUREMENT)
        & has_attrib(R_0005_0012__MEASUREMENT,R_0005_0011__ACTUAL)
        & has_nim(R_0005_0014__WAS,R_0005_0005__HOWEVER)
        & has_r_0005_0001__In_spite_of__nim(R_0005_0014__WAS,R_0005_0003__LONELINESS)
        & r_0005_0003__loneliness(R_0005_0003__LONELINESS)
        & has_gen(R_0005_0003__LONELINESS,R_0005_0002__ITS) ) ).