Context                Previous, Next                Top


20_a_alresford
From there it was possible to walk to Stockbridge hardly crossing tarmac at all, or take a shorter stroll to the Bush at Ovington.

%3 r_0020_0004__was was r_0020_0002__there there r_0020_0004__was->r_0020_0002__there From [nim] r_0020_0005__possible possible r_0020_0004__was->r_0020_0005__possible [prd] r_0020_0015__or or r_0020_0004__was->r_0020_0015__or [arg0] r_0020_0016__take take r_0020_0015__or->r_0020_0016__take [conj2] z_000_20_a_alresford_29 r_0020_0015__or->z_000_20_a_alresford_29 [conj1] r_0020_0007__walk walk r_0020_0009__Stockbridge Stockbridge r_0020_0007__walk->r_0020_0009__Stockbridge to [clr] z_000_20_a_alresford_8 r_0020_0007__walk->z_000_20_a_alresford_8 [arg0] r_0020_0011__crossing crossing r_0020_0011__crossing->z_000_20_a_alresford_8 [arg0] r_0020_0010__hardly hardly r_0020_0011__crossing->r_0020_0010__hardly [nim] r_0020_0012__tarmac tarmac r_0020_0011__crossing->r_0020_0012__tarmac [arg1] r_0020_0013__at_all at all r_0020_0011__crossing->r_0020_0013__at_all [nim] r_0020_0016__take->z_000_20_a_alresford_8 [arg0] r_0020_0017__a_r_0020_0019__stroll a stroll r_0020_0016__take->r_0020_0017__a_r_0020_0019__stroll [arg1] r_0020_0021__the_r_0020_0022__Bush the Bush r_0020_0016__take->r_0020_0021__the_r_0020_0022__Bush to [clr] z_000_20_a_alresford_29->r_0020_0007__walk [scope] z_000_20_a_alresford_29->r_0020_0011__crossing [restriction] r_0020_0018__shorter shorter r_0020_0017__a_r_0020_0019__stroll->r_0020_0018__shorter [attrib] r_0020_0024__Ovington Ovington r_0020_0021__the_r_0020_0022__Bush->r_0020_0024__Ovington at 
arc(r_0020_0004__was, r_0020_0002__there, r_0020_0001__From_nim5).
arc(r_0020_0004__was, r_0020_0005__possible, prd).
arc(r_0020_0004__was, r_0020_0015__or, arg0).
arc(r_0020_0007__walk, r_0020_0009__Stockbridge, r_0020_0008__to_clr26).
arc(r_0020_0007__walk, z_000_20_a_alresford_8, arg0).
arc(r_0020_0011__crossing, r_0020_0010__hardly, nim31).
arc(r_0020_0011__crossing, r_0020_0012__tarmac, arg1).
arc(r_0020_0011__crossing, r_0020_0013__at_all, nim39).
arc(r_0020_0011__crossing, z_000_20_a_alresford_8, arg0).
arc(r_0020_0015__or, r_0020_0016__take, conj2).
arc(r_0020_0015__or, z_000_20_a_alresford_29, conj1).
arc(r_0020_0016__take, r_0020_0017__a_r_0020_0019__stroll, arg1).
arc(r_0020_0016__take, r_0020_0021__the_r_0020_0022__Bush, r_0020_0020__to_clr61).
arc(r_0020_0016__take, z_000_20_a_alresford_8, arg0).
arc(r_0020_0017__a_r_0020_0019__stroll, r_0020_0018__shorter, attrib53).
arc(r_0020_0021__the_r_0020_0022__Bush, r_0020_0024__Ovington, r_0020_0023__at).
arc(z_000_20_a_alresford_29, r_0020_0007__walk, scope).
arc(z_000_20_a_alresford_29, r_0020_0011__crossing, restriction).


%3 z_000_20_a_alresford_29 r_0020_0011__crossing crossing z_000_20_a_alresford_29->r_0020_0011__crossing [conj1] r_0020_0007__walk walk z_000_20_a_alresford_29->r_0020_0007__walk [conj2] z_000_20_a_alresford_8 r_0020_0011__crossing->z_000_20_a_alresford_8 [arg0] r_0020_0013__at_all at all r_0020_0011__crossing->r_0020_0013__at_all [nim] r_0020_0012__tarmac tarmac r_0020_0011__crossing->r_0020_0012__tarmac [arg1] r_0020_0010__hardly hardly r_0020_0011__crossing->r_0020_0010__hardly [nim] r_0020_0007__walk->z_000_20_a_alresford_8 [arg0] r_0020_0009__Stockbridge Stockbridge r_0020_0007__walk->r_0020_0009__Stockbridge to [clr] r_0020_0021__the_r_0020_0022__Bush the Bush r_0020_0024__Ovington Ovington r_0020_0021__the_r_0020_0022__Bush->r_0020_0024__Ovington at r_0020_0017__a_r_0020_0019__stroll a stroll r_0020_0018__shorter shorter r_0020_0017__a_r_0020_0019__stroll->r_0020_0018__shorter [attrib] r_0020_0016__take take r_0020_0016__take->r_0020_0021__the_r_0020_0022__Bush to [clr] r_0020_0016__take->r_0020_0017__a_r_0020_0019__stroll [arg1] r_0020_0016__take->z_000_20_a_alresford_8 [arg0] r_0020_0015__or or r_0020_0015__or->z_000_20_a_alresford_29 [conj1] r_0020_0015__or->r_0020_0016__take [conj2] r_0020_0004__was was r_0020_0004__was->r_0020_0015__or [arg0] r_0020_0005__possible possible r_0020_0004__was->r_0020_0005__possible [prd] r_0020_0002__there there r_0020_0004__was->r_0020_0002__there From [nim] 
fof(formula,axiom,
    ? [R_20_4_WAS,R_20_15_OR,Z_20_A_ALRESFORD_29,R_20_11_CROSSING,R_20_12_TARMAC,R_20_10_HARDLY,R_20_13_AT_ALL,R_20_7_WALK,R_20_9_STOCKBRIDGE,R_20_16_TAKE,Z_20_A_ALRESFORD_8,R_20_17_A_STROLL,R_20_18_SHORTER,R_20_21_THE_BUSH,R_20_24_OVINGTON,R_20_5_POSSIBLE,R_20_2_THERE] :
      ( tarmac(R_20_12_TARMAC)
      & hardly(R_20_10_HARDLY)
      & at_all(R_20_13_AT_ALL)
      & stockbridge(R_20_9_STOCKBRIDGE)
      & shorter(R_20_18_SHORTER)
      & ovington(R_20_24_OVINGTON)
      & possible(R_20_5_POSSIBLE)
      & there(R_20_2_THERE)
      & was(R_20_4_WAS,R_20_15_OR,R_20_5_POSSIBLE)
      & or(R_20_15_OR)
      & conj1(R_20_15_OR,Z_20_A_ALRESFORD_29)
      & z_20_a_alresford_29(Z_20_A_ALRESFORD_29)
      & conj1(Z_20_A_ALRESFORD_29,R_20_11_CROSSING)
      & crossing(R_20_11_CROSSING,Z_20_A_ALRESFORD_8,R_20_12_TARMAC)
      & nim31(R_20_11_CROSSING,R_20_10_HARDLY)
      & nim39(R_20_11_CROSSING,R_20_13_AT_ALL)
      & conj2(Z_20_A_ALRESFORD_29,R_20_7_WALK)
      & walk(R_20_7_WALK,Z_20_A_ALRESFORD_8)
      & to_clr26(R_20_7_WALK,R_20_9_STOCKBRIDGE)
      & conj2(R_20_15_OR,R_20_16_TAKE)
      & take(R_20_16_TAKE,Z_20_A_ALRESFORD_8,R_20_17_A_STROLL)
      & a_stroll(R_20_17_A_STROLL)
      & attrib53(R_20_17_A_STROLL,R_20_18_SHORTER)
      & to_clr61(R_20_16_TAKE,R_20_21_THE_BUSH)
      & the_Bush(R_20_21_THE_BUSH)
      & at(R_20_21_THE_BUSH,R_20_24_OVINGTON)
      & from_nim5(R_20_4_WAS,R_20_2_THERE) ) ).


n20_a_alresford n20_a_alresford__1_1_1_1 From n20_a_alresford__1_1_2_1_1 there n20_a_alresford__1_2_1_1 it n20_a_alresford__1_3_1 was n20_a_alresford__1_4_1_1 possible n20_a_alresford__1_5_1_1 to n20_a_alresford__1_5_2_1_1_1 walk n20_a_alresford__1_5_2_1_2_1_1 to n20_a_alresford__1_5_2_1_2_2_1_1 Stockbridge n20_a_alresford__1_5_2_1_3_1_1_1_1 hardly n20_a_alresford__1_5_2_1_3_1_2_1 crossing n20_a_alresford__1_5_2_1_3_1_3_1_1 tarmac n20_a_alresford__1_5_2_1_3_1_4_1_1 at_all n20_a_alresford__1_5_2_2_1 , n20_a_alresford__1_5_2_3_1_1 or n20_a_alresford__1_5_2_3_2_1_1 take n20_a_alresford__1_5_2_3_2_2_1_1 a n20_a_alresford__1_5_2_3_2_2_2_1_1 shorter n20_a_alresford__1_5_2_3_2_2_3_1 stroll n20_a_alresford__1_5_2_3_2_3_1_1 to n20_a_alresford__1_5_2_3_2_3_2_1_1 the n20_a_alresford__1_5_2_3_2_3_2_2_1 Bush n20_a_alresford__1_5_2_3_2_3_2_3_1_1 at n20_a_alresford__1_5_2_3_2_3_2_3_2_1_1 Ovington n20_a_alresford__1_6_1 . n20_a_alresford__1 IP-MAT n20_a_alresford__1_1 PP-TPC-NIM n20_a_alresford__1->n20_a_alresford__1_1 n20_a_alresford__1_2 NP-SBJ n20_a_alresford__1->n20_a_alresford__1_2 n20_a_alresford__1_3 BED;_La_ n20_a_alresford__1->n20_a_alresford__1_3 n20_a_alresford__1_4 ADJP-PRD n20_a_alresford__1->n20_a_alresford__1_4 n20_a_alresford__1_5 IP-INF-NSBJ n20_a_alresford__1->n20_a_alresford__1_5 n20_a_alresford__1_6 PUNC n20_a_alresford__1->n20_a_alresford__1_6 n20_a_alresford__1_1_1 P-ROLE n20_a_alresford__1_1->n20_a_alresford__1_1_1 n20_a_alresford__1_1_2 ADVP n20_a_alresford__1_1->n20_a_alresford__1_1_2 n20_a_alresford__1_1_1->n20_a_alresford__1_1_1_1 n20_a_alresford__1_1_2_1 ADV n20_a_alresford__1_1_2->n20_a_alresford__1_1_2_1 n20_a_alresford__1_1_2_1->n20_a_alresford__1_1_2_1_1 n20_a_alresford__1_2_1 PRO;_provisional_ n20_a_alresford__1_2->n20_a_alresford__1_2_1 n20_a_alresford__1_2_1->n20_a_alresford__1_2_1_1 n20_a_alresford__1_3->n20_a_alresford__1_3_1 n20_a_alresford__1_4_1 ADJ n20_a_alresford__1_4->n20_a_alresford__1_4_1 n20_a_alresford__1_4_1->n20_a_alresford__1_4_1_1 n20_a_alresford__1_5_1 TO n20_a_alresford__1_5->n20_a_alresford__1_5_1 n20_a_alresford__1_5_2 ILYR n20_a_alresford__1_5->n20_a_alresford__1_5_2 n20_a_alresford__1_5_1->n20_a_alresford__1_5_1_1 n20_a_alresford__1_5_2_1 ILYR n20_a_alresford__1_5_2->n20_a_alresford__1_5_2_1 n20_a_alresford__1_5_2_2 PUNC n20_a_alresford__1_5_2->n20_a_alresford__1_5_2_2 n20_a_alresford__1_5_2_3 CONJP n20_a_alresford__1_5_2->n20_a_alresford__1_5_2_3 n20_a_alresford__1_5_2_1_1 VB;_Ipr_ n20_a_alresford__1_5_2_1->n20_a_alresford__1_5_2_1_1 n20_a_alresford__1_5_2_1_2 PP-CLR n20_a_alresford__1_5_2_1->n20_a_alresford__1_5_2_1_2 n20_a_alresford__1_5_2_1_3 PP-SCON n20_a_alresford__1_5_2_1->n20_a_alresford__1_5_2_1_3 n20_a_alresford__1_5_2_1_1->n20_a_alresford__1_5_2_1_1_1 n20_a_alresford__1_5_2_1_2_1 P-ROLE n20_a_alresford__1_5_2_1_2->n20_a_alresford__1_5_2_1_2_1 n20_a_alresford__1_5_2_1_2_2 NP n20_a_alresford__1_5_2_1_2->n20_a_alresford__1_5_2_1_2_2 n20_a_alresford__1_5_2_1_2_1->n20_a_alresford__1_5_2_1_2_1_1 n20_a_alresford__1_5_2_1_2_2_1 NPR n20_a_alresford__1_5_2_1_2_2->n20_a_alresford__1_5_2_1_2_2_1 n20_a_alresford__1_5_2_1_2_2_1->n20_a_alresford__1_5_2_1_2_2_1_1 n20_a_alresford__1_5_2_1_3_1 IP-PPL2 n20_a_alresford__1_5_2_1_3->n20_a_alresford__1_5_2_1_3_1 n20_a_alresford__1_5_2_1_3_1_1 ADVP-NIM n20_a_alresford__1_5_2_1_3_1->n20_a_alresford__1_5_2_1_3_1_1 n20_a_alresford__1_5_2_1_3_1_2 VAG;_Tn_ n20_a_alresford__1_5_2_1_3_1->n20_a_alresford__1_5_2_1_3_1_2 n20_a_alresford__1_5_2_1_3_1_3 NP-OB1 n20_a_alresford__1_5_2_1_3_1->n20_a_alresford__1_5_2_1_3_1_3 n20_a_alresford__1_5_2_1_3_1_4 ADVP-NIM n20_a_alresford__1_5_2_1_3_1->n20_a_alresford__1_5_2_1_3_1_4 n20_a_alresford__1_5_2_1_3_1_1_1 ADV n20_a_alresford__1_5_2_1_3_1_1->n20_a_alresford__1_5_2_1_3_1_1_1 n20_a_alresford__1_5_2_1_3_1_1_1->n20_a_alresford__1_5_2_1_3_1_1_1_1 n20_a_alresford__1_5_2_1_3_1_2->n20_a_alresford__1_5_2_1_3_1_2_1 n20_a_alresford__1_5_2_1_3_1_3_1 N n20_a_alresford__1_5_2_1_3_1_3->n20_a_alresford__1_5_2_1_3_1_3_1 n20_a_alresford__1_5_2_1_3_1_3_1->n20_a_alresford__1_5_2_1_3_1_3_1_1 n20_a_alresford__1_5_2_1_3_1_4_1 ADV n20_a_alresford__1_5_2_1_3_1_4->n20_a_alresford__1_5_2_1_3_1_4_1 n20_a_alresford__1_5_2_1_3_1_4_1->n20_a_alresford__1_5_2_1_3_1_4_1_1 n20_a_alresford__1_5_2_2->n20_a_alresford__1_5_2_2_1 n20_a_alresford__1_5_2_3_1 CONJ n20_a_alresford__1_5_2_3->n20_a_alresford__1_5_2_3_1 n20_a_alresford__1_5_2_3_2 ILYR n20_a_alresford__1_5_2_3->n20_a_alresford__1_5_2_3_2 n20_a_alresford__1_5_2_3_1->n20_a_alresford__1_5_2_3_1_1 n20_a_alresford__1_5_2_3_2_1 VB;_Tn.pr_ n20_a_alresford__1_5_2_3_2->n20_a_alresford__1_5_2_3_2_1 n20_a_alresford__1_5_2_3_2_2 NP-OB1 n20_a_alresford__1_5_2_3_2->n20_a_alresford__1_5_2_3_2_2 n20_a_alresford__1_5_2_3_2_3 PP-CLR n20_a_alresford__1_5_2_3_2->n20_a_alresford__1_5_2_3_2_3 n20_a_alresford__1_5_2_3_2_1->n20_a_alresford__1_5_2_3_2_1_1 n20_a_alresford__1_5_2_3_2_2_1 D n20_a_alresford__1_5_2_3_2_2->n20_a_alresford__1_5_2_3_2_2_1 n20_a_alresford__1_5_2_3_2_2_2 ADJP n20_a_alresford__1_5_2_3_2_2->n20_a_alresford__1_5_2_3_2_2_2 n20_a_alresford__1_5_2_3_2_2_3 N n20_a_alresford__1_5_2_3_2_2->n20_a_alresford__1_5_2_3_2_2_3 n20_a_alresford__1_5_2_3_2_2_1->n20_a_alresford__1_5_2_3_2_2_1_1 n20_a_alresford__1_5_2_3_2_2_2_1 ADJR n20_a_alresford__1_5_2_3_2_2_2->n20_a_alresford__1_5_2_3_2_2_2_1 n20_a_alresford__1_5_2_3_2_2_2_1->n20_a_alresford__1_5_2_3_2_2_2_1_1 n20_a_alresford__1_5_2_3_2_2_3->n20_a_alresford__1_5_2_3_2_2_3_1 n20_a_alresford__1_5_2_3_2_3_1 P-ROLE n20_a_alresford__1_5_2_3_2_3->n20_a_alresford__1_5_2_3_2_3_1 n20_a_alresford__1_5_2_3_2_3_2 NP n20_a_alresford__1_5_2_3_2_3->n20_a_alresford__1_5_2_3_2_3_2 n20_a_alresford__1_5_2_3_2_3_1->n20_a_alresford__1_5_2_3_2_3_1_1 n20_a_alresford__1_5_2_3_2_3_2_1 D n20_a_alresford__1_5_2_3_2_3_2->n20_a_alresford__1_5_2_3_2_3_2_1 n20_a_alresford__1_5_2_3_2_3_2_2 NPR n20_a_alresford__1_5_2_3_2_3_2->n20_a_alresford__1_5_2_3_2_3_2_2 n20_a_alresford__1_5_2_3_2_3_2_3 PP n20_a_alresford__1_5_2_3_2_3_2->n20_a_alresford__1_5_2_3_2_3_2_3 n20_a_alresford__1_5_2_3_2_3_2_1->n20_a_alresford__1_5_2_3_2_3_2_1_1 n20_a_alresford__1_5_2_3_2_3_2_2->n20_a_alresford__1_5_2_3_2_3_2_2_1 n20_a_alresford__1_5_2_3_2_3_2_3_1 P-ROLE n20_a_alresford__1_5_2_3_2_3_2_3->n20_a_alresford__1_5_2_3_2_3_2_3_1 n20_a_alresford__1_5_2_3_2_3_2_3_2 NP n20_a_alresford__1_5_2_3_2_3_2_3->n20_a_alresford__1_5_2_3_2_3_2_3_2 n20_a_alresford__1_5_2_3_2_3_2_3_1->n20_a_alresford__1_5_2_3_2_3_2_3_1_1 n20_a_alresford__1_5_2_3_2_3_2_3_2_1 NPR n20_a_alresford__1_5_2_3_2_3_2_3_2->n20_a_alresford__1_5_2_3_2_3_2_3_2_1 n20_a_alresford__1_5_2_3_2_3_2_3_2_1->n20_a_alresford__1_5_2_3_2_3_2_3_2_1_1 n20_a_alresford__1_6->n20_a_alresford__1_6_1 
( (IP-MAT (PP-TPC-NIM (P-ROLE From;{from})
                      (ADVP (ADV there;{there})))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ possible;{possible}))
          (IP-INF-NSBJ (TO to;{to})
                       (ILYR (ILYR (VB;_Ipr_ walk;{walk[to]})
                                   (PP-CLR (P-ROLE to;{to})
                                           (NP (NPR Stockbridge;{Stockbridge})))
                                   (PP-SCON (IP-PPL2 (ADVP-NIM (ADV hardly;{hardly}))
                                                     (VAG;_Tn_ crossing;{cross})
                                                     (NP-OB1 (N tarmac;{tarmac}))
                                                     (ADVP-NIM (ADV at_all;{at_all})))))
                             (PUNC ,)
                             (CONJP (CONJ or;{or})
                                    (ILYR (VB;_Tn.pr_ take;{take[to]})
                                          (NP-OB1 (D a;{a})
                                                  (ADJP (ADJR shorter;{short}))
                                                  (N stroll;{stroll}))
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (NPR Bush;{Bush})
                                                      (PP (P-ROLE at;{at})
                                                          (NP (NPR Ovington;{Ovington})))))))))
          (PUNC .))
  (ID 20_a_alresford))