Context                Previous, Next                Top


4_a_maptext
Go through a turnstile at the back of the car park and follow the footpath past Garston Hall.

%3 r_0004_0001__Go Go r_0004_0003__a_r_0004_0004__turnstile a turnstile r_0004_0001__Go->r_0004_0003__a_r_0004_0004__turnstile through [clr] z_000_4_a_maptext_1 r_0004_0001__Go->z_000_4_a_maptext_1 [arg0] r_0004_0006__the_r_0004_0007__back the back r_0004_0003__a_r_0004_0004__turnstile->r_0004_0006__the_r_0004_0007__back at r_0004_0009__the_r_0004_0010__car_r_0004_0011__park the car park r_0004_0006__the_r_0004_0007__back->r_0004_0009__the_r_0004_0010__car_r_0004_0011__park of r_0004_0012__and and r_0004_0012__and->r_0004_0001__Go [conj1] r_0004_0013__follow follow r_0004_0012__and->r_0004_0013__follow [conj2] r_0004_0013__follow->z_000_4_a_maptext_1 [arg0] r_0004_0014__the_r_0004_0015__footpath the footpath r_0004_0013__follow->r_0004_0014__the_r_0004_0015__footpath [arg1] r_0004_0017__Garston_r_0004_0018__Hall Garston Hall r_0004_0013__follow->r_0004_0017__Garston_r_0004_0018__Hall past [nim] 
arc(r_0004_0001__Go, r_0004_0003__a_r_0004_0004__turnstile, r_0004_0002__through_clr9).
arc(r_0004_0001__Go, z_000_4_a_maptext_1, arg0).
arc(r_0004_0003__a_r_0004_0004__turnstile, r_0004_0006__the_r_0004_0007__back, r_0004_0005__at).
arc(r_0004_0006__the_r_0004_0007__back, r_0004_0009__the_r_0004_0010__car_r_0004_0011__park, r_0004_0008__of).
arc(r_0004_0012__and, r_0004_0001__Go, conj1).
arc(r_0004_0012__and, r_0004_0013__follow, conj2).
arc(r_0004_0013__follow, r_0004_0014__the_r_0004_0015__footpath, arg1).
arc(r_0004_0013__follow, r_0004_0017__Garston_r_0004_0018__Hall, r_0004_0016__past_nim46).
arc(r_0004_0013__follow, z_000_4_a_maptext_1, arg0).


%3 r_0004_0001__Go Go r_0004_0003__a_r_0004_0004__turnstile a turnstile r_0004_0001__Go->r_0004_0003__a_r_0004_0004__turnstile through [clr] z_000_4_a_maptext_1 r_0004_0001__Go->z_000_4_a_maptext_1 [arg0] r_0004_0006__the_r_0004_0007__back the back r_0004_0003__a_r_0004_0004__turnstile->r_0004_0006__the_r_0004_0007__back at r_0004_0009__the_r_0004_0010__car_r_0004_0011__park the car park r_0004_0006__the_r_0004_0007__back->r_0004_0009__the_r_0004_0010__car_r_0004_0011__park of r_0004_0012__and and r_0004_0012__and->r_0004_0001__Go [conj1] r_0004_0013__follow follow r_0004_0012__and->r_0004_0013__follow [conj2] r_0004_0013__follow->z_000_4_a_maptext_1 [arg0] r_0004_0014__the_r_0004_0015__footpath the footpath r_0004_0013__follow->r_0004_0014__the_r_0004_0015__footpath [arg1] r_0004_0017__Garston_r_0004_0018__Hall Garston Hall r_0004_0013__follow->r_0004_0017__Garston_r_0004_0018__Hall past [nim] 
fof(formula,axiom,
    ? [R_4_12_AND,R_4_1_GO,R_4_3_A_TURNSTILE,R_4_6_THE_BACK,R_4_9_THE_CAR_PARK,R_4_13_FOLLOW,Z_4_A_MAPTEXT_1,R_4_14_THE_FOOTPATH,R_4_17_GARSTON_HALL] :
      ( the_car_park(R_4_9_THE_CAR_PARK)
      & the_footpath(R_4_14_THE_FOOTPATH)
      & garston_Hall(R_4_17_GARSTON_HALL)
      & and(R_4_12_AND)
      & conj1(R_4_12_AND,R_4_1_GO)
      & go(R_4_1_GO,Z_4_A_MAPTEXT_1)
      & through_clr9(R_4_1_GO,R_4_3_A_TURNSTILE)
      & a_turnstile(R_4_3_A_TURNSTILE)
      & at(R_4_3_A_TURNSTILE,R_4_6_THE_BACK)
      & the_back(R_4_6_THE_BACK)
      & of(R_4_6_THE_BACK,R_4_9_THE_CAR_PARK)
      & conj2(R_4_12_AND,R_4_13_FOLLOW)
      & follow(R_4_13_FOLLOW,Z_4_A_MAPTEXT_1,R_4_14_THE_FOOTPATH)
      & past_nim46(R_4_13_FOLLOW,R_4_17_GARSTON_HALL) ) ).


n4_a_maptext n4_a_maptext_5 Go n4_a_maptext_8 through n4_a_maptext_11 a n4_a_maptext_13 turnstile n4_a_maptext_16 at n4_a_maptext_19 the n4_a_maptext_21 back n4_a_maptext_24 of n4_a_maptext_27 the n4_a_maptext_29 car n4_a_maptext_31 park n4_a_maptext_34 and n4_a_maptext_37 follow n4_a_maptext_40 the n4_a_maptext_42 footpath n4_a_maptext_45 past n4_a_maptext_48 Garston n4_a_maptext_50 Hall n4_a_maptext_52 . n4_a_maptext_1 IP-IMP n4_a_maptext_2 ILYR n4_a_maptext_1->n4_a_maptext_2 n4_a_maptext_51 PUNC n4_a_maptext_1->n4_a_maptext_51 n4_a_maptext_3 ILYR n4_a_maptext_2->n4_a_maptext_3 n4_a_maptext_32 CONJP n4_a_maptext_2->n4_a_maptext_32 n4_a_maptext_4 VB;_Ipr_ n4_a_maptext_3->n4_a_maptext_4 n4_a_maptext_6 PP-CLR n4_a_maptext_3->n4_a_maptext_6 n4_a_maptext_4->n4_a_maptext_5 n4_a_maptext_7 P-ROLE n4_a_maptext_6->n4_a_maptext_7 n4_a_maptext_9 NP n4_a_maptext_6->n4_a_maptext_9 n4_a_maptext_7->n4_a_maptext_8 n4_a_maptext_10 D n4_a_maptext_9->n4_a_maptext_10 n4_a_maptext_12 N n4_a_maptext_9->n4_a_maptext_12 n4_a_maptext_14 PP n4_a_maptext_9->n4_a_maptext_14 n4_a_maptext_10->n4_a_maptext_11 n4_a_maptext_12->n4_a_maptext_13 n4_a_maptext_15 P-ROLE n4_a_maptext_14->n4_a_maptext_15 n4_a_maptext_17 NP n4_a_maptext_14->n4_a_maptext_17 n4_a_maptext_15->n4_a_maptext_16 n4_a_maptext_18 D n4_a_maptext_17->n4_a_maptext_18 n4_a_maptext_20 N n4_a_maptext_17->n4_a_maptext_20 n4_a_maptext_22 PP n4_a_maptext_17->n4_a_maptext_22 n4_a_maptext_18->n4_a_maptext_19 n4_a_maptext_20->n4_a_maptext_21 n4_a_maptext_23 P-ROLE n4_a_maptext_22->n4_a_maptext_23 n4_a_maptext_25 NP n4_a_maptext_22->n4_a_maptext_25 n4_a_maptext_23->n4_a_maptext_24 n4_a_maptext_26 D n4_a_maptext_25->n4_a_maptext_26 n4_a_maptext_28 N n4_a_maptext_25->n4_a_maptext_28 n4_a_maptext_30 N n4_a_maptext_25->n4_a_maptext_30 n4_a_maptext_26->n4_a_maptext_27 n4_a_maptext_28->n4_a_maptext_29 n4_a_maptext_30->n4_a_maptext_31 n4_a_maptext_33 CONJ n4_a_maptext_32->n4_a_maptext_33 n4_a_maptext_35 ILYR n4_a_maptext_32->n4_a_maptext_35 n4_a_maptext_33->n4_a_maptext_34 n4_a_maptext_36 VB;_Tn_ n4_a_maptext_35->n4_a_maptext_36 n4_a_maptext_38 NP-OB1 n4_a_maptext_35->n4_a_maptext_38 n4_a_maptext_43 PP-NIM n4_a_maptext_35->n4_a_maptext_43 n4_a_maptext_36->n4_a_maptext_37 n4_a_maptext_39 D n4_a_maptext_38->n4_a_maptext_39 n4_a_maptext_41 N n4_a_maptext_38->n4_a_maptext_41 n4_a_maptext_39->n4_a_maptext_40 n4_a_maptext_41->n4_a_maptext_42 n4_a_maptext_44 P-ROLE n4_a_maptext_43->n4_a_maptext_44 n4_a_maptext_46 NP n4_a_maptext_43->n4_a_maptext_46 n4_a_maptext_44->n4_a_maptext_45 n4_a_maptext_47 NPR n4_a_maptext_46->n4_a_maptext_47 n4_a_maptext_49 NPR n4_a_maptext_46->n4_a_maptext_49 n4_a_maptext_47->n4_a_maptext_48 n4_a_maptext_49->n4_a_maptext_50 n4_a_maptext_51->n4_a_maptext_52 
( (IP-IMP (ILYR (ILYR (VB;_Ipr_ Go;{go[through]})
                      (PP-CLR (P-ROLE through;{through})
                              (NP (D a;{a})
                                  (N turnstile;{turnstile})
                                  (PP (P-ROLE at;{at})
                                      (NP (D the;{the})
                                          (N back;{back})
                                          (PP (P-ROLE of;{of})
                                              (NP;{CAR_PARK} (D the;{the})
                                                             (N car;{car})
                                                             (N park;{park}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Tn_ follow;{follow})
                             (NP-OB1 (D the;{the})
                                     (N footpath;{footpath}))
                             (PP-NIM (P-ROLE past;{past})
                                     (NP (NPR Garston;{Garston})
                                         (NPR Hall;{Hall}))))))
          (PUNC .))
  (ID 4_a_maptext))