89_a_lob_n01
It is about a hundred yards from the southern end; so that if all goes well we shall come to a stop quite near her.’
arc(r_0089_0002__is, r_0089_0001__It, arg0).
arc(r_0089_0002__is, r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards, prd).
arc(r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards, r_0089_0003__about, qual8).
arc(r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards, r_0089_0008__the_r_0089_0010__end, r_0089_0007__from).
arc(r_0089_0008__the_r_0089_0010__end, r_0089_0009__southern, attrib23).
arc(r_0089_0012__so_that, r_0089_0002__is, scope).
arc(r_0089_0012__so_that, r_0089_0013__if, restriction).
arc(r_0089_0013__if, r_0089_0014__all_quant, restriction).
arc(r_0089_0013__if, r_0089_0018__shall, scope).
arc(r_0089_0014__all_quant, r_0089_0015__goes, scope).
arc(r_0089_0014__all_quant, z_000_89_a_lob_n01_38, restriction).
arc(r_0089_0015__goes, r_0089_0016__well, nim43).
arc(r_0089_0015__goes, z_000_89_a_lob_n01_38, arg0).
arc(r_0089_0018__shall, r_0089_0019__come, scope).
arc(r_0089_0019__come, r_0089_0017__we, arg0).
arc(r_0089_0019__come, r_0089_0021__a_r_0089_0022__stop, r_0089_0020__to_clr57).
arc(r_0089_0021__a_r_0089_0022__stop, r_0089_0025__her, r_0089_0023__quite_r_0089_0024__near).
fof(formula,axiom,
? [R_0089_0001__IT,R_0089_0003__ABOUT,R_0089_0009__SOUTHERN,R_0089_0008__THE_R_0089_0010__END,R_0089_0004__A_R_0089_0005__HUNDRED_R_0089_0006__YARDS,R_0089_0002__IS,R_0089_0012__SO_THAT] :
( r_0089_0001__It(R_0089_0001__IT)
& r_0089_0003__about(R_0089_0003__ABOUT)
& r_0089_0009__southern(R_0089_0009__SOUTHERN)
& r_0089_0012__so_that(R_0089_0012__SO_THAT)
& ! [R_0089_0014__ALL_QUANT] :
( ! [Z_000_89_A_LOB_N01_38] :
( z_000_89_a_lob_n01_38(Z_000_89_A_LOB_N01_38)
=> ? [R_0089_0016__WELL,R_0089_0015__GOES] :
( r_0089_0016__well(R_0089_0016__WELL)
& r_0089_0015__goes(R_0089_0015__GOES)
& has_arg0(R_0089_0015__GOES,Z_000_89_A_LOB_N01_38)
& has_nim43(R_0089_0015__GOES,R_0089_0016__WELL) ) )
=> ? [R_0089_0017__WE,R_0089_0025__HER,R_0089_0021__A_R_0089_0022__STOP,R_0089_0018__SHALL_R_0089_0019__COME] :
( r_0089_0017__we(R_0089_0017__WE)
& r_0089_0025__her(R_0089_0025__HER)
& r_0089_0018__shall_r_0089_0019__come(R_0089_0018__SHALL_R_0089_0019__COME)
& has_r_0089_0020__to_clr57(R_0089_0018__SHALL_R_0089_0019__COME,R_0089_0021__A_R_0089_0022__STOP)
& r_0089_0021__a_r_0089_0022__stop(R_0089_0021__A_R_0089_0022__STOP)
& has_r_0089_0023__quite_r_0089_0024__near(R_0089_0021__A_R_0089_0022__STOP,R_0089_0025__HER)
& has_arg0(R_0089_0018__SHALL_R_0089_0019__COME,R_0089_0017__WE) ) )
& has_conj2(R_0089_0012__SO_THAT,R_0089_0002__IS)
& r_0089_0002__is(R_0089_0002__IS)
& has_prd(R_0089_0002__IS,R_0089_0004__A_R_0089_0005__HUNDRED_R_0089_0006__YARDS)
& r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards(R_0089_0004__A_R_0089_0005__HUNDRED_R_0089_0006__YARDS)
& has_r_0089_0007__from(R_0089_0004__A_R_0089_0005__HUNDRED_R_0089_0006__YARDS,R_0089_0008__THE_R_0089_0010__END)
& r_0089_0008__the_r_0089_0010__end(R_0089_0008__THE_R_0089_0010__END)
& has_attrib23(R_0089_0008__THE_R_0089_0010__END,R_0089_0009__SOUTHERN)
& has_qual8(R_0089_0004__A_R_0089_0005__HUNDRED_R_0089_0006__YARDS,R_0089_0003__ABOUT)
& has_arg0(R_0089_0002__IS,R_0089_0001__IT) ) ).
( (IP-MAT (NP-SBJ (PRO It;{it}))
(BEP;_Ln_ is;{be})
(NP-PRD (ADVP (ADV about;{about}))
(D a;{a})
(N hundred;{hundred})
(NS yards;{yard})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(ADJP (ADJ southern;{southern}))
(N end;{end}))))
(PUNC ;)
(PP-SCON (P-CONN so_that;{so_that})
(IP-ADV (PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (Q;_nphd_ all;{all}))
(VBP;__ goes;{go})
(ADVP-NIM (ADV well;{well}))))
(NP-SBJ;{ALASTAIR_GEOFFREY} (PRO we;{we}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (VB;__ come;{come})
(PP-CLR (P-ROLE to;{to})
(NP (D a;{a})
(N stop;{stop})
(PP (ADV quite;{quite})
(P-ROLE near;{near})
(NP;{GLORIA} (PRO her;{her}))))))))
(PUNC .)
(PURQ <rquo>))
(ID 89_a_lob_n01))