Context                Previous, Next                Top


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.’

%3 r_0089_0002__is is r_0089_0001__It It r_0089_0002__is->r_0089_0001__It [arg0] r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards a hundred yards r_0089_0002__is->r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards [prd] r_0089_0003__about about r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards->r_0089_0003__about [qual] r_0089_0008__the_r_0089_0010__end the end r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards->r_0089_0008__the_r_0089_0010__end from r_0089_0009__southern southern r_0089_0008__the_r_0089_0010__end->r_0089_0009__southern [attrib] r_0089_0012__so_that so that r_0089_0012__so_that->r_0089_0002__is [scope] r_0089_0013__if if r_0089_0012__so_that->r_0089_0013__if [restriction] r_0089_0014__all_quant all [quant] r_0089_0013__if->r_0089_0014__all_quant [restriction] r_0089_0018__shall shall r_0089_0013__if->r_0089_0018__shall [scope] r_0089_0015__goes goes r_0089_0014__all_quant->r_0089_0015__goes [scope] z_000_89_a_lob_n01_38 r_0089_0014__all_quant->z_000_89_a_lob_n01_38 [restriction] r_0089_0019__come come r_0089_0018__shall->r_0089_0019__come [scope] r_0089_0015__goes->z_000_89_a_lob_n01_38 [arg0] r_0089_0016__well well r_0089_0015__goes->r_0089_0016__well [nim] r_0089_0017__we we r_0089_0019__come->r_0089_0017__we [arg0] r_0089_0021__a_r_0089_0022__stop a stop r_0089_0019__come->r_0089_0021__a_r_0089_0022__stop to [clr] r_0089_0025__her her r_0089_0021__a_r_0089_0022__stop->r_0089_0025__her quite near 
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).


%3 r_0089_0002__is is r_0089_0001__It It r_0089_0002__is->r_0089_0001__It [arg0] r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards a hundred yards r_0089_0002__is->r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards [prd] r_0089_0003__about about r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards->r_0089_0003__about [qual] r_0089_0008__the_r_0089_0010__end the end r_0089_0004__a_r_0089_0005__hundred_r_0089_0006__yards->r_0089_0008__the_r_0089_0010__end from r_0089_0009__southern southern r_0089_0008__the_r_0089_0010__end->r_0089_0009__southern [attrib] r_0089_0012__so_that so that r_0089_0012__so_that->r_0089_0002__is [conj2] r_0089_0013__if if r_0089_0012__so_that->r_0089_0013__if [conj1] r_0089_0014__all_quant all [quant] r_0089_0013__if->r_0089_0014__all_quant [restriction] r_0089_0018__shall_r_0089_0019__come shall come r_0089_0013__if->r_0089_0018__shall_r_0089_0019__come [scope] r_0089_0015__goes goes r_0089_0014__all_quant->r_0089_0015__goes [scope] z_000_89_a_lob_n01_38 r_0089_0014__all_quant->z_000_89_a_lob_n01_38 [restriction] r_0089_0017__we we r_0089_0018__shall_r_0089_0019__come->r_0089_0017__we [arg0] r_0089_0021__a_r_0089_0022__stop a stop r_0089_0018__shall_r_0089_0019__come->r_0089_0021__a_r_0089_0022__stop to [clr] r_0089_0015__goes->z_000_89_a_lob_n01_38 [arg0] r_0089_0016__well well r_0089_0015__goes->r_0089_0016__well [nim] r_0089_0025__her her r_0089_0021__a_r_0089_0022__stop->r_0089_0025__her quite 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) ) ).


n89_a_lob_n01 n89_a_lob_n01_4 It n89_a_lob_n01_6 is n89_a_lob_n01_10 about n89_a_lob_n01_12 a n89_a_lob_n01_14 hundred n89_a_lob_n01_16 yards n89_a_lob_n01_19 from n89_a_lob_n01_22 the n89_a_lob_n01_25 southern n89_a_lob_n01_27 end n89_a_lob_n01_29 ; n89_a_lob_n01_32 so_that n89_a_lob_n01_36 if n89_a_lob_n01_40 all n89_a_lob_n01_42 goes n89_a_lob_n01_45 well n89_a_lob_n01_48 we n89_a_lob_n01_50 shall n89_a_lob_n01_53 come n89_a_lob_n01_56 to n89_a_lob_n01_59 a n89_a_lob_n01_61 stop n89_a_lob_n01_64 quite n89_a_lob_n01_66 near n89_a_lob_n01_69 her n89_a_lob_n01_71 . n89_a_lob_n01_73 <rquo> n89_a_lob_n01_1 IP-MAT n89_a_lob_n01_2 NP-SBJ n89_a_lob_n01_1->n89_a_lob_n01_2 n89_a_lob_n01_5 BEP;_Ln_ n89_a_lob_n01_1->n89_a_lob_n01_5 n89_a_lob_n01_7 NP-PRD n89_a_lob_n01_1->n89_a_lob_n01_7 n89_a_lob_n01_28 PUNC n89_a_lob_n01_1->n89_a_lob_n01_28 n89_a_lob_n01_30 PP-SCON n89_a_lob_n01_1->n89_a_lob_n01_30 n89_a_lob_n01_70 PUNC n89_a_lob_n01_1->n89_a_lob_n01_70 n89_a_lob_n01_72 PURQ n89_a_lob_n01_1->n89_a_lob_n01_72 n89_a_lob_n01_3 PRO n89_a_lob_n01_2->n89_a_lob_n01_3 n89_a_lob_n01_3->n89_a_lob_n01_4 n89_a_lob_n01_5->n89_a_lob_n01_6 n89_a_lob_n01_8 ADVP n89_a_lob_n01_7->n89_a_lob_n01_8 n89_a_lob_n01_11 D n89_a_lob_n01_7->n89_a_lob_n01_11 n89_a_lob_n01_13 N n89_a_lob_n01_7->n89_a_lob_n01_13 n89_a_lob_n01_15 NS n89_a_lob_n01_7->n89_a_lob_n01_15 n89_a_lob_n01_17 PP n89_a_lob_n01_7->n89_a_lob_n01_17 n89_a_lob_n01_9 ADV n89_a_lob_n01_8->n89_a_lob_n01_9 n89_a_lob_n01_9->n89_a_lob_n01_10 n89_a_lob_n01_11->n89_a_lob_n01_12 n89_a_lob_n01_13->n89_a_lob_n01_14 n89_a_lob_n01_15->n89_a_lob_n01_16 n89_a_lob_n01_18 P-ROLE n89_a_lob_n01_17->n89_a_lob_n01_18 n89_a_lob_n01_20 NP n89_a_lob_n01_17->n89_a_lob_n01_20 n89_a_lob_n01_18->n89_a_lob_n01_19 n89_a_lob_n01_21 D n89_a_lob_n01_20->n89_a_lob_n01_21 n89_a_lob_n01_23 ADJP n89_a_lob_n01_20->n89_a_lob_n01_23 n89_a_lob_n01_26 N n89_a_lob_n01_20->n89_a_lob_n01_26 n89_a_lob_n01_21->n89_a_lob_n01_22 n89_a_lob_n01_24 ADJ n89_a_lob_n01_23->n89_a_lob_n01_24 n89_a_lob_n01_24->n89_a_lob_n01_25 n89_a_lob_n01_26->n89_a_lob_n01_27 n89_a_lob_n01_28->n89_a_lob_n01_29 n89_a_lob_n01_31 P-CONN n89_a_lob_n01_30->n89_a_lob_n01_31 n89_a_lob_n01_33 IP-ADV n89_a_lob_n01_30->n89_a_lob_n01_33 n89_a_lob_n01_31->n89_a_lob_n01_32 n89_a_lob_n01_34 PP-SCON n89_a_lob_n01_33->n89_a_lob_n01_34 n89_a_lob_n01_46 NP-SBJ n89_a_lob_n01_33->n89_a_lob_n01_46 n89_a_lob_n01_49 MD;_cat_Vi_ n89_a_lob_n01_33->n89_a_lob_n01_49 n89_a_lob_n01_51 IP-INF-CAT n89_a_lob_n01_33->n89_a_lob_n01_51 n89_a_lob_n01_35 P-CONN n89_a_lob_n01_34->n89_a_lob_n01_35 n89_a_lob_n01_37 IP-ADV n89_a_lob_n01_34->n89_a_lob_n01_37 n89_a_lob_n01_35->n89_a_lob_n01_36 n89_a_lob_n01_38 NP-SBJ n89_a_lob_n01_37->n89_a_lob_n01_38 n89_a_lob_n01_41 VBP;__ n89_a_lob_n01_37->n89_a_lob_n01_41 n89_a_lob_n01_43 ADVP-NIM n89_a_lob_n01_37->n89_a_lob_n01_43 n89_a_lob_n01_39 Q;_nphd_ n89_a_lob_n01_38->n89_a_lob_n01_39 n89_a_lob_n01_39->n89_a_lob_n01_40 n89_a_lob_n01_41->n89_a_lob_n01_42 n89_a_lob_n01_44 ADV n89_a_lob_n01_43->n89_a_lob_n01_44 n89_a_lob_n01_44->n89_a_lob_n01_45 n89_a_lob_n01_47 PRO n89_a_lob_n01_46->n89_a_lob_n01_47 n89_a_lob_n01_47->n89_a_lob_n01_48 n89_a_lob_n01_49->n89_a_lob_n01_50 n89_a_lob_n01_52 VB;__ n89_a_lob_n01_51->n89_a_lob_n01_52 n89_a_lob_n01_54 PP-CLR n89_a_lob_n01_51->n89_a_lob_n01_54 n89_a_lob_n01_52->n89_a_lob_n01_53 n89_a_lob_n01_55 P-ROLE n89_a_lob_n01_54->n89_a_lob_n01_55 n89_a_lob_n01_57 NP n89_a_lob_n01_54->n89_a_lob_n01_57 n89_a_lob_n01_55->n89_a_lob_n01_56 n89_a_lob_n01_58 D n89_a_lob_n01_57->n89_a_lob_n01_58 n89_a_lob_n01_60 N n89_a_lob_n01_57->n89_a_lob_n01_60 n89_a_lob_n01_62 PP n89_a_lob_n01_57->n89_a_lob_n01_62 n89_a_lob_n01_58->n89_a_lob_n01_59 n89_a_lob_n01_60->n89_a_lob_n01_61 n89_a_lob_n01_63 ADV n89_a_lob_n01_62->n89_a_lob_n01_63 n89_a_lob_n01_65 P-ROLE n89_a_lob_n01_62->n89_a_lob_n01_65 n89_a_lob_n01_67 NP n89_a_lob_n01_62->n89_a_lob_n01_67 n89_a_lob_n01_63->n89_a_lob_n01_64 n89_a_lob_n01_65->n89_a_lob_n01_66 n89_a_lob_n01_68 PRO n89_a_lob_n01_67->n89_a_lob_n01_68 n89_a_lob_n01_68->n89_a_lob_n01_69 n89_a_lob_n01_70->n89_a_lob_n01_71 n89_a_lob_n01_72->n89_a_lob_n01_73 
( (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))