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_0002_0004__MAIN,R_0002_0007__HARDLEY,R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0008__ROAD,Z_000_2_A_MAPTEXT_1,R_0002_0001__PROCEED,R_0002_0011__LEFT,R_0002_0013__BURFELL,R_0002_0010__TURN,R_0002_0016__YOU,R_0002_0018__HARDLEY,R_0002_0017__REACH,R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0009__AND] :
      ( r_0002_0004__main(R_0002_0004__MAIN)
      & r_0002_0007__Hardley(R_0002_0007__HARDLEY)
      & r_0002_0011__left(R_0002_0011__LEFT)
      & r_0002_0013__Burfell(R_0002_0013__BURFELL)
      & r_0002_0016__you(R_0002_0016__YOU)
      & r_0002_0018__Hardley(R_0002_0018__HARDLEY)
      & z_000_2_a_maptext_1(Z_000_2_A_MAPTEXT_1)
      & r_0002_0009__and(R_0002_0009__AND)
      & has_conj2(R_0002_0009__AND,R_0002_0014__JUST_R_0002_0015__BEFORE)
      & r_0002_0014__just_r_0002_0015__before(R_0002_0014__JUST_R_0002_0015__BEFORE)
      & has_conj1(R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0017__REACH)
      & r_0002_0017__reach(R_0002_0017__REACH)
      & has_arg1(R_0002_0017__REACH,R_0002_0018__HARDLEY)
      & has_arg0(R_0002_0017__REACH,R_0002_0016__YOU)
      & has_conj2(R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0010__TURN)
      & r_0002_0010__turn(R_0002_0010__TURN)
      & has_arg0(R_0002_0010__TURN,Z_000_2_A_MAPTEXT_1)
      & has_r_0002_0012__to_nim37(R_0002_0010__TURN,R_0002_0013__BURFELL)
      & has_clr31(R_0002_0010__TURN,R_0002_0011__LEFT)
      & has_conj1(R_0002_0009__AND,R_0002_0001__PROCEED)
      & r_0002_0001__Proceed(R_0002_0001__PROCEED)
      & has_arg0(R_0002_0001__PROCEED,Z_000_2_A_MAPTEXT_1)
      & has_r_0002_0002__along_clr9(R_0002_0001__PROCEED,R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0008__ROAD)
      & r_0002_0003__the_r_0002_0005__Swafford_r_0002_0008__road(R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0008__ROAD)
      & has_r_0002_0006__to(R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0008__ROAD,R_0002_0007__HARDLEY)
      & has_attrib12(R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0008__ROAD,R_0002_0004__MAIN) ) ).


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