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.
( (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))
arc(r_0020_0004__was,r_0020_0002__there,r_0020_0001__From__nim).
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_0008__to,r_0020_0009__Stockbridge,arg1).
arc(r_0020_0007__walk_r_0020_0008__to,z_0020_5002,arg0).
arc(r_0020_0011__crossing,r_0020_0010__hardly,nim).
arc(r_0020_0011__crossing,r_0020_0012__tarmac,arg1).
arc(r_0020_0011__crossing,r_0020_0013__at_all,nim).
arc(r_0020_0011__crossing,z_0020_5002,arg0).
arc(r_0020_0015__or,r_0020_0016__take_r_0020_0020__to,conj2).
arc(r_0020_0015__or,z_0020_5004,conj1).
arc(r_0020_0016__take_r_0020_0020__to,r_0020_0017__a_r_0020_0019__stroll,arg1).
arc(r_0020_0016__take_r_0020_0020__to,r_0020_0021__the_r_0020_0022__Bush,arg2).
arc(r_0020_0016__take_r_0020_0020__to,z_0020_5002,arg0).
arc(r_0020_0017__a_r_0020_0019__stroll,r_0020_0018__shorter,attrib).
arc(r_0020_0021__the_r_0020_0022__Bush,r_0020_0024__Ovington,r_0020_0023__at).
arc(z_0020_5004,r_0020_0007__walk_r_0020_0008__to,scope).
arc(z_0020_5004,r_0020_0011__crossing,restriction).
fof(formula,axiom,
? [R_0020_0002__THERE,R_0020_0005__POSSIBLE,R_0020_0018__SHORTER,R_0020_0017__A_R_0020_0019__STROLL,R_0020_0024__OVINGTON,R_0020_0021__THE_R_0020_0022__BUSH,Z_0020_5002,R_0020_0016__TAKE_R_0020_0020__TO,R_0020_0009__STOCKBRIDGE,R_0020_0007__WALK_R_0020_0008__TO,R_0020_0010__HARDLY,R_0020_0012__TARMAC,R_0020_0013__AT_ALL,R_0020_0011__CROSSING,Z_0020_5004,R_0020_0015__OR,R_0020_0004__WAS] :
( r_0020_0002__there(R_0020_0002__THERE)
& r_0020_0005__possible(R_0020_0005__POSSIBLE)
& r_0020_0009__Stockbridge(R_0020_0009__STOCKBRIDGE)
& r_0020_0010__hardly(R_0020_0010__HARDLY)
& r_0020_0012__tarmac(R_0020_0012__TARMAC)
& r_0020_0013__at_all(R_0020_0013__AT_ALL)
& r_0020_0018__shorter(R_0020_0018__SHORTER)
& r_0020_0024__Ovington(R_0020_0024__OVINGTON)
& z_0020_5002(Z_0020_5002)
& r_0020_0004__was(R_0020_0004__WAS)
& has_arg0(R_0020_0004__WAS,R_0020_0015__OR)
& r_0020_0015__or(R_0020_0015__OR)
& has_conj1(R_0020_0015__OR,Z_0020_5004)
& z_0020_5004(Z_0020_5004)
& has_conj1(Z_0020_5004,R_0020_0011__CROSSING)
& r_0020_0011__crossing(R_0020_0011__CROSSING)
& has_arg0(R_0020_0011__CROSSING,Z_0020_5002)
& has_nim(R_0020_0011__CROSSING,R_0020_0013__AT_ALL)
& has_arg1(R_0020_0011__CROSSING,R_0020_0012__TARMAC)
& has_nim(R_0020_0011__CROSSING,R_0020_0010__HARDLY)
& has_conj2(Z_0020_5004,R_0020_0007__WALK_R_0020_0008__TO)
& r_0020_0007__walk_r_0020_0008__to(R_0020_0007__WALK_R_0020_0008__TO)
& has_arg0(R_0020_0007__WALK_R_0020_0008__TO,Z_0020_5002)
& has_arg1(R_0020_0007__WALK_R_0020_0008__TO,R_0020_0009__STOCKBRIDGE)
& has_conj2(R_0020_0015__OR,R_0020_0016__TAKE_R_0020_0020__TO)
& r_0020_0016__take_r_0020_0020__to(R_0020_0016__TAKE_R_0020_0020__TO)
& has_arg0(R_0020_0016__TAKE_R_0020_0020__TO,Z_0020_5002)
& has_arg2(R_0020_0016__TAKE_R_0020_0020__TO,R_0020_0021__THE_R_0020_0022__BUSH)
& r_0020_0021__the_r_0020_0022__Bush(R_0020_0021__THE_R_0020_0022__BUSH)
& has_r_0020_0023__at(R_0020_0021__THE_R_0020_0022__BUSH,R_0020_0024__OVINGTON)
& has_arg1(R_0020_0016__TAKE_R_0020_0020__TO,R_0020_0017__A_R_0020_0019__STROLL)
& r_0020_0017__a_r_0020_0019__stroll(R_0020_0017__A_R_0020_0019__STROLL)
& has_attrib(R_0020_0017__A_R_0020_0019__STROLL,R_0020_0018__SHORTER)
& has_prd(R_0020_0004__WAS,R_0020_0005__POSSIBLE)
& has_r_0020_0001__From__nim(R_0020_0004__WAS,R_0020_0002__THERE) ) ).