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_0013__follow follow z_000_4_a_maptext_1 r_0004_0013__follow->z_000_4_a_maptext_1 [arg0] r_0004_0017__Garston_r_0004_0018__Hall Garston Hall r_0004_0013__follow->r_0004_0017__Garston_r_0004_0018__Hall past [nim] 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_0012__and and r_0004_0012__and->r_0004_0013__follow [conj2] r_0004_0001__Go Go r_0004_0012__and->r_0004_0001__Go [conj1] r_0004_0001__Go->z_000_4_a_maptext_1 [arg0] r_0004_0003__a_r_0004_0004__turnstile a turnstile r_0004_0001__Go->r_0004_0003__a_r_0004_0004__turnstile through [clr] r_0004_0006__the_r_0004_0007__back the back 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_0003__a_r_0004_0004__turnstile->r_0004_0006__the_r_0004_0007__back at 
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__1_1_1_1_1 Go n4_a_maptext__1_1_1_2_1_1 through n4_a_maptext__1_1_1_2_2_1_1 a n4_a_maptext__1_1_1_2_2_2_1 turnstile n4_a_maptext__1_1_1_2_2_3_1_1 at n4_a_maptext__1_1_1_2_2_3_2_1_1 the n4_a_maptext__1_1_1_2_2_3_2_2_1 back n4_a_maptext__1_1_1_2_2_3_2_3_1_1 of n4_a_maptext__1_1_1_2_2_3_2_3_2_1_1 the n4_a_maptext__1_1_1_2_2_3_2_3_2_2_1 car n4_a_maptext__1_1_1_2_2_3_2_3_2_3_1 park n4_a_maptext__1_1_2_1_1 and n4_a_maptext__1_1_2_2_1_1 follow n4_a_maptext__1_1_2_2_2_1_1 the n4_a_maptext__1_1_2_2_2_2_1 footpath n4_a_maptext__1_1_2_2_3_1_1 past n4_a_maptext__1_1_2_2_3_2_1_1 Garston n4_a_maptext__1_1_2_2_3_2_2_1 Hall n4_a_maptext__1_2_1 . n4_a_maptext__1 IP-IMP n4_a_maptext__1_1 ILYR n4_a_maptext__1->n4_a_maptext__1_1 n4_a_maptext__1_2 PUNC n4_a_maptext__1->n4_a_maptext__1_2 n4_a_maptext__1_1_1 ILYR n4_a_maptext__1_1->n4_a_maptext__1_1_1 n4_a_maptext__1_1_2 CONJP n4_a_maptext__1_1->n4_a_maptext__1_1_2 n4_a_maptext__1_1_1_1 VB;_Ipr_ n4_a_maptext__1_1_1->n4_a_maptext__1_1_1_1 n4_a_maptext__1_1_1_2 PP-CLR n4_a_maptext__1_1_1->n4_a_maptext__1_1_1_2 n4_a_maptext__1_1_1_1->n4_a_maptext__1_1_1_1_1 n4_a_maptext__1_1_1_2_1 P-ROLE n4_a_maptext__1_1_1_2->n4_a_maptext__1_1_1_2_1 n4_a_maptext__1_1_1_2_2 NP n4_a_maptext__1_1_1_2->n4_a_maptext__1_1_1_2_2 n4_a_maptext__1_1_1_2_1->n4_a_maptext__1_1_1_2_1_1 n4_a_maptext__1_1_1_2_2_1 D n4_a_maptext__1_1_1_2_2->n4_a_maptext__1_1_1_2_2_1 n4_a_maptext__1_1_1_2_2_2 N n4_a_maptext__1_1_1_2_2->n4_a_maptext__1_1_1_2_2_2 n4_a_maptext__1_1_1_2_2_3 PP n4_a_maptext__1_1_1_2_2->n4_a_maptext__1_1_1_2_2_3 n4_a_maptext__1_1_1_2_2_1->n4_a_maptext__1_1_1_2_2_1_1 n4_a_maptext__1_1_1_2_2_2->n4_a_maptext__1_1_1_2_2_2_1 n4_a_maptext__1_1_1_2_2_3_1 P-ROLE n4_a_maptext__1_1_1_2_2_3->n4_a_maptext__1_1_1_2_2_3_1 n4_a_maptext__1_1_1_2_2_3_2 NP n4_a_maptext__1_1_1_2_2_3->n4_a_maptext__1_1_1_2_2_3_2 n4_a_maptext__1_1_1_2_2_3_1->n4_a_maptext__1_1_1_2_2_3_1_1 n4_a_maptext__1_1_1_2_2_3_2_1 D n4_a_maptext__1_1_1_2_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_1 n4_a_maptext__1_1_1_2_2_3_2_2 N n4_a_maptext__1_1_1_2_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_2 n4_a_maptext__1_1_1_2_2_3_2_3 PP n4_a_maptext__1_1_1_2_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_3 n4_a_maptext__1_1_1_2_2_3_2_1->n4_a_maptext__1_1_1_2_2_3_2_1_1 n4_a_maptext__1_1_1_2_2_3_2_2->n4_a_maptext__1_1_1_2_2_3_2_2_1 n4_a_maptext__1_1_1_2_2_3_2_3_1 P-ROLE n4_a_maptext__1_1_1_2_2_3_2_3->n4_a_maptext__1_1_1_2_2_3_2_3_1 n4_a_maptext__1_1_1_2_2_3_2_3_2 NP n4_a_maptext__1_1_1_2_2_3_2_3->n4_a_maptext__1_1_1_2_2_3_2_3_2 n4_a_maptext__1_1_1_2_2_3_2_3_1->n4_a_maptext__1_1_1_2_2_3_2_3_1_1 n4_a_maptext__1_1_1_2_2_3_2_3_2_1 D n4_a_maptext__1_1_1_2_2_3_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_3_2_1 n4_a_maptext__1_1_1_2_2_3_2_3_2_2 N n4_a_maptext__1_1_1_2_2_3_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_3_2_2 n4_a_maptext__1_1_1_2_2_3_2_3_2_3 N n4_a_maptext__1_1_1_2_2_3_2_3_2->n4_a_maptext__1_1_1_2_2_3_2_3_2_3 n4_a_maptext__1_1_1_2_2_3_2_3_2_1->n4_a_maptext__1_1_1_2_2_3_2_3_2_1_1 n4_a_maptext__1_1_1_2_2_3_2_3_2_2->n4_a_maptext__1_1_1_2_2_3_2_3_2_2_1 n4_a_maptext__1_1_1_2_2_3_2_3_2_3->n4_a_maptext__1_1_1_2_2_3_2_3_2_3_1 n4_a_maptext__1_1_2_1 CONJ n4_a_maptext__1_1_2->n4_a_maptext__1_1_2_1 n4_a_maptext__1_1_2_2 ILYR n4_a_maptext__1_1_2->n4_a_maptext__1_1_2_2 n4_a_maptext__1_1_2_1->n4_a_maptext__1_1_2_1_1 n4_a_maptext__1_1_2_2_1 VB;_Tn_ n4_a_maptext__1_1_2_2->n4_a_maptext__1_1_2_2_1 n4_a_maptext__1_1_2_2_2 NP-OB1 n4_a_maptext__1_1_2_2->n4_a_maptext__1_1_2_2_2 n4_a_maptext__1_1_2_2_3 PP-NIM n4_a_maptext__1_1_2_2->n4_a_maptext__1_1_2_2_3 n4_a_maptext__1_1_2_2_1->n4_a_maptext__1_1_2_2_1_1 n4_a_maptext__1_1_2_2_2_1 D n4_a_maptext__1_1_2_2_2->n4_a_maptext__1_1_2_2_2_1 n4_a_maptext__1_1_2_2_2_2 N n4_a_maptext__1_1_2_2_2->n4_a_maptext__1_1_2_2_2_2 n4_a_maptext__1_1_2_2_2_1->n4_a_maptext__1_1_2_2_2_1_1 n4_a_maptext__1_1_2_2_2_2->n4_a_maptext__1_1_2_2_2_2_1 n4_a_maptext__1_1_2_2_3_1 P-ROLE n4_a_maptext__1_1_2_2_3->n4_a_maptext__1_1_2_2_3_1 n4_a_maptext__1_1_2_2_3_2 NP n4_a_maptext__1_1_2_2_3->n4_a_maptext__1_1_2_2_3_2 n4_a_maptext__1_1_2_2_3_1->n4_a_maptext__1_1_2_2_3_1_1 n4_a_maptext__1_1_2_2_3_2_1 NPR n4_a_maptext__1_1_2_2_3_2->n4_a_maptext__1_1_2_2_3_2_1 n4_a_maptext__1_1_2_2_3_2_2 NPR n4_a_maptext__1_1_2_2_3_2->n4_a_maptext__1_1_2_2_3_2_2 n4_a_maptext__1_1_2_2_3_2_1->n4_a_maptext__1_1_2_2_3_2_1_1 n4_a_maptext__1_1_2_2_3_2_2->n4_a_maptext__1_1_2_2_3_2_2_1 n4_a_maptext__1_2->n4_a_maptext__1_2_1 
( (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))