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.’
( (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 (ADVP-NIM (ADV quite;{quite}))
(P-ROLE near;{near})
(NP;{GLORIA} (PRO her;{her}))))))))
(PUNC .)
(PURQ <rquo>))
(ID 89_a_lob_n01))
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,qual).
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,attrib).
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_0089_5005,restriction).
arc(r_0089_0015__goes,r_0089_0016__well,nim).
arc(r_0089_0015__goes,z_0089_5005,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__clr).
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_0089_5005] :
( z_0089_5005(Z_0089_5005)
=> ? [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_0089_5005)
& has_nim(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__clr(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_attrib(R_0089_0008__THE_R_0089_0010__END,R_0089_0009__SOUTHERN)
& has_qual(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) ) ).