Context                Previous, Next                Top


2_a_maptext
Proceed along the main Swafford to Hardley road and turn left to Burfell just before you reach Hardley.

%3 r_0002_0001__Proceed Proceed r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road the Swafford road r_0002_0001__Proceed->r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road along [clr] z_000_2_a_maptext_1 r_0002_0001__Proceed->z_000_2_a_maptext_1 [arg0] r_0002_0004__main main r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road->r_0002_0004__main [attrib] r_0002_0007__Hardley Hardley r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road->r_0002_0007__Hardley to r_0002_0009__and and r_0002_0009__and->r_0002_0001__Proceed [conj1] r_0002_0014__just_r_0002_0015__before just before r_0002_0009__and->r_0002_0014__just_r_0002_0015__before [conj2] r_0002_0010__turn turn r_0002_0014__just_r_0002_0015__before->r_0002_0010__turn [scope] r_0002_0017__reach reach r_0002_0014__just_r_0002_0015__before->r_0002_0017__reach [restriction] r_0002_0010__turn->z_000_2_a_maptext_1 [arg0] r_0002_0011__left left r_0002_0010__turn->r_0002_0011__left [clr] r_0002_0013__Burfell Burfell r_0002_0010__turn->r_0002_0013__Burfell to [nim] r_0002_0016__you you r_0002_0017__reach->r_0002_0016__you [arg0] r_0002_0018__Hardley Hardley r_0002_0017__reach->r_0002_0018__Hardley [arg1] 
arc(r_0002_0001__Proceed, r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road, r_0002_0002__along_clr9).
arc(r_0002_0001__Proceed, z_000_2_a_maptext_1, arg0).
arc(r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road, r_0002_0004__main, attrib12).
arc(r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road, r_0002_0007__Hardley, r_0002_0006__to).
arc(r_0002_0009__and, r_0002_0001__Proceed, conj1).
arc(r_0002_0009__and, r_0002_0014__just_r_0002_0015__before, conj2).
arc(r_0002_0010__turn, r_0002_0011__left, clr31).
arc(r_0002_0010__turn, r_0002_0013__Burfell, r_0002_0012__to_nim37).
arc(r_0002_0010__turn, z_000_2_a_maptext_1, arg0).
arc(r_0002_0014__just_r_0002_0015__before, r_0002_0010__turn, scope).
arc(r_0002_0014__just_r_0002_0015__before, r_0002_0017__reach, restriction).
arc(r_0002_0017__reach, r_0002_0016__you, arg0).
arc(r_0002_0017__reach, r_0002_0018__Hardley, arg1).


%3 r_0002_0017__reach reach r_0002_0018__Hardley Hardley r_0002_0017__reach->r_0002_0018__Hardley [arg1] r_0002_0016__you you r_0002_0017__reach->r_0002_0016__you [arg0] r_0002_0014__just_r_0002_0015__before just before r_0002_0014__just_r_0002_0015__before->r_0002_0017__reach [conj1] r_0002_0010__turn turn r_0002_0014__just_r_0002_0015__before->r_0002_0010__turn [conj2] z_000_2_a_maptext_1 r_0002_0010__turn->z_000_2_a_maptext_1 [arg0] r_0002_0013__Burfell Burfell r_0002_0010__turn->r_0002_0013__Burfell to [nim] r_0002_0011__left left r_0002_0010__turn->r_0002_0011__left [clr] r_0002_0009__and and r_0002_0009__and->r_0002_0014__just_r_0002_0015__before [conj2] r_0002_0001__Proceed Proceed r_0002_0009__and->r_0002_0001__Proceed [conj1] r_0002_0001__Proceed->z_000_2_a_maptext_1 [arg0] r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road the Swafford road r_0002_0001__Proceed->r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road along [clr] r_0002_0007__Hardley Hardley r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road->r_0002_0007__Hardley to r_0002_0004__main main r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road->r_0002_0004__main [attrib] 
fof(formula,axiom,
    ? [R_2_9_AND,R_2_1_PROCEED,R_2_3_THE_SWAFFORD_ROAD,R_2_4_MAIN,R_2_7_HARDLEY,R_2_14_JUST_BEFORE,R_2_17_REACH,R_2_16_YOU,R_2_18_HARDLEY,R_2_10_TURN,Z_2_A_MAPTEXT_1,R_2_11_LEFT,R_2_13_BURFELL] :
      ( main(R_2_4_MAIN)
      & hardley(R_2_7_HARDLEY)
      & you(R_2_16_YOU)
      & hardley(R_2_18_HARDLEY)
      & left(R_2_11_LEFT)
      & burfell(R_2_13_BURFELL)
      & and(R_2_9_AND)
      & conj1(R_2_9_AND,R_2_1_PROCEED)
      & proceed(R_2_1_PROCEED,Z_2_A_MAPTEXT_1)
      & along_clr9(R_2_1_PROCEED,R_2_3_THE_SWAFFORD_ROAD)
      & the_Swafford_road(R_2_3_THE_SWAFFORD_ROAD)
      & attrib12(R_2_3_THE_SWAFFORD_ROAD,R_2_4_MAIN)
      & to(R_2_3_THE_SWAFFORD_ROAD,R_2_7_HARDLEY)
      & conj2(R_2_9_AND,R_2_14_JUST_BEFORE)
      & just_before(R_2_14_JUST_BEFORE)
      & conj1(R_2_14_JUST_BEFORE,R_2_17_REACH)
      & reach(R_2_17_REACH,R_2_16_YOU,R_2_18_HARDLEY)
      & conj2(R_2_14_JUST_BEFORE,R_2_10_TURN)
      & turn(R_2_10_TURN,Z_2_A_MAPTEXT_1)
      & clr31(R_2_10_TURN,R_2_11_LEFT)
      & to_nim37(R_2_10_TURN,R_2_13_BURFELL) ) ).


n2_a_maptext n2_a_maptext__1_1_1_1_1 Proceed n2_a_maptext__1_1_1_2_1_1 along n2_a_maptext__1_1_1_2_2_1_1 the n2_a_maptext__1_1_1_2_2_2_1_1 main n2_a_maptext__1_1_1_2_2_3_1 Swafford n2_a_maptext__1_1_1_2_2_4_1_1 to n2_a_maptext__1_1_1_2_2_4_2_1_1 Hardley n2_a_maptext__1_1_1_2_2_5_1 road n2_a_maptext__1_1_2_1_1 and n2_a_maptext__1_1_2_2_1_1 turn n2_a_maptext__1_1_2_2_2_1_1 left n2_a_maptext__1_1_2_2_3_1_1 to n2_a_maptext__1_1_2_2_3_2_1_1 Burfell n2_a_maptext__1_1_2_2_4_1_1 just n2_a_maptext__1_1_2_2_4_2_1 before n2_a_maptext__1_1_2_2_4_3_1_1_1 you n2_a_maptext__1_1_2_2_4_3_2_1 reach n2_a_maptext__1_1_2_2_4_3_3_1_1 Hardley n2_a_maptext__1_2_1 . n2_a_maptext__1 IP-IMP n2_a_maptext__1_1 ILYR n2_a_maptext__1->n2_a_maptext__1_1 n2_a_maptext__1_2 PUNC n2_a_maptext__1->n2_a_maptext__1_2 n2_a_maptext__1_1_1 ILYR n2_a_maptext__1_1->n2_a_maptext__1_1_1 n2_a_maptext__1_1_2 CONJP n2_a_maptext__1_1->n2_a_maptext__1_1_2 n2_a_maptext__1_1_1_1 VB;_Ipr_ n2_a_maptext__1_1_1->n2_a_maptext__1_1_1_1 n2_a_maptext__1_1_1_2 PP-CLR n2_a_maptext__1_1_1->n2_a_maptext__1_1_1_2 n2_a_maptext__1_1_1_1->n2_a_maptext__1_1_1_1_1 n2_a_maptext__1_1_1_2_1 P-ROLE n2_a_maptext__1_1_1_2->n2_a_maptext__1_1_1_2_1 n2_a_maptext__1_1_1_2_2 NP n2_a_maptext__1_1_1_2->n2_a_maptext__1_1_1_2_2 n2_a_maptext__1_1_1_2_1->n2_a_maptext__1_1_1_2_1_1 n2_a_maptext__1_1_1_2_2_1 D n2_a_maptext__1_1_1_2_2->n2_a_maptext__1_1_1_2_2_1 n2_a_maptext__1_1_1_2_2_2 ADJP n2_a_maptext__1_1_1_2_2->n2_a_maptext__1_1_1_2_2_2 n2_a_maptext__1_1_1_2_2_3 NPR n2_a_maptext__1_1_1_2_2->n2_a_maptext__1_1_1_2_2_3 n2_a_maptext__1_1_1_2_2_4 PP n2_a_maptext__1_1_1_2_2->n2_a_maptext__1_1_1_2_2_4 n2_a_maptext__1_1_1_2_2_5 N n2_a_maptext__1_1_1_2_2->n2_a_maptext__1_1_1_2_2_5 n2_a_maptext__1_1_1_2_2_1->n2_a_maptext__1_1_1_2_2_1_1 n2_a_maptext__1_1_1_2_2_2_1 ADJ n2_a_maptext__1_1_1_2_2_2->n2_a_maptext__1_1_1_2_2_2_1 n2_a_maptext__1_1_1_2_2_2_1->n2_a_maptext__1_1_1_2_2_2_1_1 n2_a_maptext__1_1_1_2_2_3->n2_a_maptext__1_1_1_2_2_3_1 n2_a_maptext__1_1_1_2_2_4_1 P-ROLE n2_a_maptext__1_1_1_2_2_4->n2_a_maptext__1_1_1_2_2_4_1 n2_a_maptext__1_1_1_2_2_4_2 NP n2_a_maptext__1_1_1_2_2_4->n2_a_maptext__1_1_1_2_2_4_2 n2_a_maptext__1_1_1_2_2_4_1->n2_a_maptext__1_1_1_2_2_4_1_1 n2_a_maptext__1_1_1_2_2_4_2_1 NPR n2_a_maptext__1_1_1_2_2_4_2->n2_a_maptext__1_1_1_2_2_4_2_1 n2_a_maptext__1_1_1_2_2_4_2_1->n2_a_maptext__1_1_1_2_2_4_2_1_1 n2_a_maptext__1_1_1_2_2_5->n2_a_maptext__1_1_1_2_2_5_1 n2_a_maptext__1_1_2_1 CONJ n2_a_maptext__1_1_2->n2_a_maptext__1_1_2_1 n2_a_maptext__1_1_2_2 ILYR n2_a_maptext__1_1_2->n2_a_maptext__1_1_2_2 n2_a_maptext__1_1_2_1->n2_a_maptext__1_1_2_1_1 n2_a_maptext__1_1_2_2_1 VB;_Ip_ n2_a_maptext__1_1_2_2->n2_a_maptext__1_1_2_2_1 n2_a_maptext__1_1_2_2_2 ADVP-CLR n2_a_maptext__1_1_2_2->n2_a_maptext__1_1_2_2_2 n2_a_maptext__1_1_2_2_3 PP-NIM n2_a_maptext__1_1_2_2->n2_a_maptext__1_1_2_2_3 n2_a_maptext__1_1_2_2_4 PP-SCON n2_a_maptext__1_1_2_2->n2_a_maptext__1_1_2_2_4 n2_a_maptext__1_1_2_2_1->n2_a_maptext__1_1_2_2_1_1 n2_a_maptext__1_1_2_2_2_1 ADV n2_a_maptext__1_1_2_2_2->n2_a_maptext__1_1_2_2_2_1 n2_a_maptext__1_1_2_2_2_1->n2_a_maptext__1_1_2_2_2_1_1 n2_a_maptext__1_1_2_2_3_1 P-ROLE n2_a_maptext__1_1_2_2_3->n2_a_maptext__1_1_2_2_3_1 n2_a_maptext__1_1_2_2_3_2 NP n2_a_maptext__1_1_2_2_3->n2_a_maptext__1_1_2_2_3_2 n2_a_maptext__1_1_2_2_3_1->n2_a_maptext__1_1_2_2_3_1_1 n2_a_maptext__1_1_2_2_3_2_1 NPR n2_a_maptext__1_1_2_2_3_2->n2_a_maptext__1_1_2_2_3_2_1 n2_a_maptext__1_1_2_2_3_2_1->n2_a_maptext__1_1_2_2_3_2_1_1 n2_a_maptext__1_1_2_2_4_1 ADV n2_a_maptext__1_1_2_2_4->n2_a_maptext__1_1_2_2_4_1 n2_a_maptext__1_1_2_2_4_2 P-CONN n2_a_maptext__1_1_2_2_4->n2_a_maptext__1_1_2_2_4_2 n2_a_maptext__1_1_2_2_4_3 IP-ADV n2_a_maptext__1_1_2_2_4->n2_a_maptext__1_1_2_2_4_3 n2_a_maptext__1_1_2_2_4_1->n2_a_maptext__1_1_2_2_4_1_1 n2_a_maptext__1_1_2_2_4_2->n2_a_maptext__1_1_2_2_4_2_1 n2_a_maptext__1_1_2_2_4_3_1 NP-SBJ n2_a_maptext__1_1_2_2_4_3->n2_a_maptext__1_1_2_2_4_3_1 n2_a_maptext__1_1_2_2_4_3_2 VBP;_Tn_ n2_a_maptext__1_1_2_2_4_3->n2_a_maptext__1_1_2_2_4_3_2 n2_a_maptext__1_1_2_2_4_3_3 NP-OB1 n2_a_maptext__1_1_2_2_4_3->n2_a_maptext__1_1_2_2_4_3_3 n2_a_maptext__1_1_2_2_4_3_1_1 PRO n2_a_maptext__1_1_2_2_4_3_1->n2_a_maptext__1_1_2_2_4_3_1_1 n2_a_maptext__1_1_2_2_4_3_1_1->n2_a_maptext__1_1_2_2_4_3_1_1_1 n2_a_maptext__1_1_2_2_4_3_2->n2_a_maptext__1_1_2_2_4_3_2_1 n2_a_maptext__1_1_2_2_4_3_3_1 NPR n2_a_maptext__1_1_2_2_4_3_3->n2_a_maptext__1_1_2_2_4_3_3_1 n2_a_maptext__1_1_2_2_4_3_3_1->n2_a_maptext__1_1_2_2_4_3_3_1_1 n2_a_maptext__1_2->n2_a_maptext__1_2_1 
( (IP-IMP (ILYR (ILYR (VB;_Ipr_ Proceed;{proceed[along]})
                      (PP-CLR (P-ROLE along;{along})
                              (NP (D the;{the})
                                  (ADJP (ADJ main;{main}))
                                  (NPR Swafford;{Swafford})
                                  (PP (P-ROLE to;{to})
                                      (NP (NPR Hardley;{Hardley})))
                                  (N road;{road}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Ip_ turn;{turn[left]})
                             (ADVP-CLR (ADV left;{left}))
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (NPR Burfell;{Burfell})))
                             (PP-SCON (ADV just;{just})
                                      (P-CONN before;{before})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (VBP;_Tn_ reach;{reach})
                                              (NP-OB1 (NPR Hardley;{Hardley})))))))
          (PUNC .))
  (ID 2_a_maptext))