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.
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, attrib29).
arc(r_0005_0014__was_r_0005_0015__not, r_0005_0003__loneliness, r_0005_0001__In_spite_of_nim5).
arc(r_0005_0014__was_r_0005_0015__not, r_0005_0005__however, nim13).
arc(r_0005_0014__was_r_0005_0015__not, r_0005_0007__the_r_0005_0008__spot, arg0).
arc(r_0005_0014__was_r_0005_0015__not, r_0005_0016__more, prd).
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_0015__NOT] :
( 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)
& ~ ( has_prd(R_0005_0014__WAS_R_0005_0015__NOT,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_0015__NOT,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_attrib29(R_0005_0012__MEASUREMENT,R_0005_0011__ACTUAL)
& has_nim13(R_0005_0014__WAS_R_0005_0015__NOT,R_0005_0005__HOWEVER)
& has_r_0005_0001__In_spite_of_nim5(R_0005_0014__WAS_R_0005_0015__NOT,R_0005_0003__LONELINESS)
& r_0005_0003__loneliness(R_0005_0003__LONELINESS)
& has_gen(R_0005_0003__LONELINESS,R_0005_0002__ITS) ) ) ).
( (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))