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.

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_0003__loneliness, r_0005_0001__In_spite_of_nim5).
arc(r_0005_0014__was, r_0005_0005__however, nim13).
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_5_14_WAS,R_5_7_THE_SPOT,R_5_12_MEASUREMENT,R_5_11_ACTUAL,R_5_5_HOWEVER,R_5_16_MORE,R_5_18_FIVE_MILES,R_5_21_A_COUNTY_TOWN,R_5_3_LONELINESS,R_5_2_ITS] :
        ( actual(R_5_11_ACTUAL)
        & however(R_5_5_HOWEVER)
        & a_county_town(R_5_21_A_COUNTY_TOWN)
        & its(R_5_2_ITS)
        & was(R_5_14_WAS,R_5_7_THE_SPOT,R_5_16_MORE)
        & the_spot(R_5_7_THE_SPOT)
        & by(R_5_7_THE_SPOT,R_5_12_MEASUREMENT)
        & measurement(R_5_12_MEASUREMENT)
        & attrib29(R_5_12_MEASUREMENT,R_5_11_ACTUAL)
        & more(R_5_16_MORE)
        & than(R_5_16_MORE,R_5_18_FIVE_MILES)
        & five_miles(R_5_18_FIVE_MILES)
        & from(R_5_18_FIVE_MILES,R_5_21_A_COUNTY_TOWN)
        & nim13(R_5_14_WAS,R_5_5_HOWEVER)
        & in_spite_of_nim5(R_5_14_WAS,R_5_3_LONELINESS)
        & loneliness(R_5_3_LONELINESS)
        & gen(R_5_3_LONELINESS,R_5_2_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))