TSPC 89_a_lob

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_89_12_SO_THAT,R_89_2_IS,R_89_1_IT,R_89_4_A_HUNDRED_YARDS,R_89_3_ABOUT,R_89_8_THE_END,R_89_9_SOUTHERN] :
      ( it(R_89_1_IT)
      & about(R_89_3_ABOUT)
      & southern(R_89_9_SOUTHERN)
      & ( ! [Z_89_A_LOB_N01_38] :
            ( true
           => ? [R_89_15_GOES,R_89_16_WELL] :
                ( well(R_89_16_WELL)
                & goes(R_89_15_GOES,Z_89_A_LOB_N01_38)
                & nim43(R_89_15_GOES,R_89_16_WELL) ) )
       => ? [R_89_18_SHALL_COME,R_89_17_WE,R_89_21_A_STOP,R_89_25_HER] :
            ( we(R_89_17_WE)
            & her(R_89_25_HER)
            & shall_come(R_89_18_SHALL_COME,R_89_17_WE)
            & to_clr57(R_89_18_SHALL_COME,R_89_21_A_STOP)
            & a_stop(R_89_21_A_STOP)
            & quite_near(R_89_21_A_STOP,R_89_25_HER) ) )
      & conj1(CONJ1)
      & so_that(R_89_12_SO_THAT)
      & conj2(R_89_12_SO_THAT,R_89_2_IS)
      & is(R_89_2_IS,R_89_1_IT,R_89_4_A_HUNDRED_YARDS)
      & a_hundred_yards(R_89_4_A_HUNDRED_YARDS)
      & qual8(R_89_4_A_HUNDRED_YARDS,R_89_3_ABOUT)
      & from(R_89_4_A_HUNDRED_YARDS,R_89_8_THE_END)
      & the_end(R_89_8_THE_END)
      & attrib23(R_89_8_THE_END,R_89_9_SOUTHERN) ) ).

( (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))