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_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 [conj2] r_0002_0017__reach reach r_0002_0014__just_r_0002_0015__before->r_0002_0017__reach [conj1] 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] 
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_5 Proceed n2_a_maptext_8 along n2_a_maptext_11 the n2_a_maptext_14 main n2_a_maptext_16 Swafford n2_a_maptext_19 to n2_a_maptext_22 Hardley n2_a_maptext_24 road n2_a_maptext_27 and n2_a_maptext_30 turn n2_a_maptext_33 left n2_a_maptext_36 to n2_a_maptext_39 Burfell n2_a_maptext_42 just n2_a_maptext_44 before n2_a_maptext_48 you n2_a_maptext_50 reach n2_a_maptext_53 Hardley n2_a_maptext_55 . n2_a_maptext_1 IP-IMP n2_a_maptext_2 ILYR n2_a_maptext_1->n2_a_maptext_2 n2_a_maptext_54 PUNC n2_a_maptext_1->n2_a_maptext_54 n2_a_maptext_3 ILYR n2_a_maptext_2->n2_a_maptext_3 n2_a_maptext_25 CONJP n2_a_maptext_2->n2_a_maptext_25 n2_a_maptext_4 VB;_Ipr_ n2_a_maptext_3->n2_a_maptext_4 n2_a_maptext_6 PP-CLR n2_a_maptext_3->n2_a_maptext_6 n2_a_maptext_4->n2_a_maptext_5 n2_a_maptext_7 P-ROLE n2_a_maptext_6->n2_a_maptext_7 n2_a_maptext_9 NP n2_a_maptext_6->n2_a_maptext_9 n2_a_maptext_7->n2_a_maptext_8 n2_a_maptext_10 D n2_a_maptext_9->n2_a_maptext_10 n2_a_maptext_12 ADJP n2_a_maptext_9->n2_a_maptext_12 n2_a_maptext_15 NPR n2_a_maptext_9->n2_a_maptext_15 n2_a_maptext_17 PP n2_a_maptext_9->n2_a_maptext_17 n2_a_maptext_23 N n2_a_maptext_9->n2_a_maptext_23 n2_a_maptext_10->n2_a_maptext_11 n2_a_maptext_13 ADJ n2_a_maptext_12->n2_a_maptext_13 n2_a_maptext_13->n2_a_maptext_14 n2_a_maptext_15->n2_a_maptext_16 n2_a_maptext_18 P-ROLE n2_a_maptext_17->n2_a_maptext_18 n2_a_maptext_20 NP n2_a_maptext_17->n2_a_maptext_20 n2_a_maptext_18->n2_a_maptext_19 n2_a_maptext_21 NPR n2_a_maptext_20->n2_a_maptext_21 n2_a_maptext_21->n2_a_maptext_22 n2_a_maptext_23->n2_a_maptext_24 n2_a_maptext_26 CONJ n2_a_maptext_25->n2_a_maptext_26 n2_a_maptext_28 ILYR n2_a_maptext_25->n2_a_maptext_28 n2_a_maptext_26->n2_a_maptext_27 n2_a_maptext_29 VB;_Ip_ n2_a_maptext_28->n2_a_maptext_29 n2_a_maptext_31 ADVP-CLR n2_a_maptext_28->n2_a_maptext_31 n2_a_maptext_34 PP-NIM n2_a_maptext_28->n2_a_maptext_34 n2_a_maptext_40 PP-SCON n2_a_maptext_28->n2_a_maptext_40 n2_a_maptext_29->n2_a_maptext_30 n2_a_maptext_32 ADV n2_a_maptext_31->n2_a_maptext_32 n2_a_maptext_32->n2_a_maptext_33 n2_a_maptext_35 P-ROLE n2_a_maptext_34->n2_a_maptext_35 n2_a_maptext_37 NP n2_a_maptext_34->n2_a_maptext_37 n2_a_maptext_35->n2_a_maptext_36 n2_a_maptext_38 NPR n2_a_maptext_37->n2_a_maptext_38 n2_a_maptext_38->n2_a_maptext_39 n2_a_maptext_41 ADV n2_a_maptext_40->n2_a_maptext_41 n2_a_maptext_43 P-CONN n2_a_maptext_40->n2_a_maptext_43 n2_a_maptext_45 IP-ADV n2_a_maptext_40->n2_a_maptext_45 n2_a_maptext_41->n2_a_maptext_42 n2_a_maptext_43->n2_a_maptext_44 n2_a_maptext_46 NP-SBJ n2_a_maptext_45->n2_a_maptext_46 n2_a_maptext_49 VBP;_Tn_ n2_a_maptext_45->n2_a_maptext_49 n2_a_maptext_51 NP-OB1 n2_a_maptext_45->n2_a_maptext_51 n2_a_maptext_47 PRO n2_a_maptext_46->n2_a_maptext_47 n2_a_maptext_47->n2_a_maptext_48 n2_a_maptext_49->n2_a_maptext_50 n2_a_maptext_52 NPR n2_a_maptext_51->n2_a_maptext_52 n2_a_maptext_52->n2_a_maptext_53 n2_a_maptext_54->n2_a_maptext_55 
( (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))