Context                Previous, Next                Top


5_a_maptext
Continue until you cross over the Burfell road and then take the track that leads up into the wood.

%3 r_0005_0001__Continue Continue z_000_5_a_maptext_1 r_0005_0001__Continue->z_000_5_a_maptext_1 [arg0] r_0005_0002__until until r_0005_0002__until->r_0005_0001__Continue [scope] r_0005_0004__cross cross r_0005_0002__until->r_0005_0004__cross [restriction] r_0005_0003__you you r_0005_0004__cross->r_0005_0003__you [arg0] r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road the Burfell road r_0005_0004__cross->r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road over [clr] r_0005_0009__and and r_0005_0009__and->r_0005_0002__until [conj1] r_0005_0011__take take r_0005_0009__and->r_0005_0011__take [conj2] r_0005_0011__take->z_000_5_a_maptext_1 [arg0] r_0005_0010__then then r_0005_0011__take->r_0005_0010__then [nim] r_0005_0012__the_r_0005_0013__track the track r_0005_0011__take->r_0005_0012__the_r_0005_0013__track [arg1] r_0005_0014__that_r_0005_0015__leads that leads r_0005_0014__that_r_0005_0015__leads->r_0005_0012__the_r_0005_0013__track [arg0] r_0005_0017__the_r_0005_0018__wood the wood r_0005_0014__that_r_0005_0015__leads->r_0005_0017__the_r_0005_0018__wood up into [clr] 
arc(r_0005_0001__Continue, z_000_5_a_maptext_1, arg0).
arc(r_0005_0002__until, r_0005_0001__Continue, scope).
arc(r_0005_0002__until, r_0005_0004__cross, restriction).
arc(r_0005_0004__cross, r_0005_0003__you, arg0).
arc(r_0005_0004__cross, r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road, r_0005_0005__over_clr18).
arc(r_0005_0009__and, r_0005_0002__until, conj1).
arc(r_0005_0009__and, r_0005_0011__take, conj2).
arc(r_0005_0011__take, r_0005_0010__then, nim29).
arc(r_0005_0011__take, r_0005_0012__the_r_0005_0013__track, arg1).
arc(r_0005_0011__take, z_000_5_a_maptext_1, arg0).
arc(r_0005_0014__that_r_0005_0015__leads, r_0005_0012__the_r_0005_0013__track, arg0).
arc(r_0005_0014__that_r_0005_0015__leads, r_0005_0017__the_r_0005_0018__wood, r_0005_0016__up_into_clr49).


%3 r_0005_0014__that_r_0005_0015__leads that leads r_0005_0017__the_r_0005_0018__wood the wood r_0005_0014__that_r_0005_0015__leads->r_0005_0017__the_r_0005_0018__wood up into [clr] r_0005_0012__the_r_0005_0013__track the track r_0005_0014__that_r_0005_0015__leads->r_0005_0012__the_r_0005_0013__track [arg0] r_0005_0011__take take r_0005_0011__take->r_0005_0012__the_r_0005_0013__track [arg1] z_000_5_a_maptext_1 r_0005_0011__take->z_000_5_a_maptext_1 [arg0] r_0005_0010__then then r_0005_0011__take->r_0005_0010__then [nim] r_0005_0009__and and r_0005_0009__and->r_0005_0011__take [conj2] r_0005_0002__until until r_0005_0009__and->r_0005_0002__until [conj1] r_0005_0004__cross cross r_0005_0002__until->r_0005_0004__cross [conj1] r_0005_0001__Continue Continue r_0005_0002__until->r_0005_0001__Continue [conj2] r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road the Burfell road r_0005_0004__cross->r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road over [clr] r_0005_0003__you you r_0005_0004__cross->r_0005_0003__you [arg0] r_0005_0001__Continue->z_000_5_a_maptext_1 [arg0] 
fof(formula,axiom,
    ? [R_5_9_AND,R_5_2_UNTIL,R_5_4_CROSS,R_5_3_YOU,R_5_6_THE_BURFELL_ROAD,R_5_1_CONTINUE,R_5_11_TAKE,Z_5_A_MAPTEXT_1,R_5_10_THEN,R_5_14_THAT_LEADS,R_5_12_THE_TRACK,R_5_17_THE_WOOD] :
      ( you(R_5_3_YOU)
      & the_Burfell_road(R_5_6_THE_BURFELL_ROAD)
      & then(R_5_10_THEN)
      & the_track(R_5_12_THE_TRACK)
      & the_wood(R_5_17_THE_WOOD)
      & and(R_5_9_AND)
      & conj1(R_5_9_AND,R_5_2_UNTIL)
      & until(R_5_2_UNTIL)
      & conj1(R_5_2_UNTIL,R_5_4_CROSS)
      & cross(R_5_4_CROSS,R_5_3_YOU)
      & over_clr18(R_5_4_CROSS,R_5_6_THE_BURFELL_ROAD)
      & conj2(R_5_2_UNTIL,R_5_1_CONTINUE)
      & continue(R_5_1_CONTINUE,Z_5_A_MAPTEXT_1)
      & conj2(R_5_9_AND,R_5_11_TAKE)
      & take(R_5_11_TAKE,Z_5_A_MAPTEXT_1,R_5_12_THE_TRACK)
      & nim29(R_5_11_TAKE,R_5_10_THEN)
      & that_leads(R_5_14_THAT_LEADS,R_5_12_THE_TRACK)
      & up_into_clr49(R_5_14_THAT_LEADS,R_5_17_THE_WOOD) ) ).


n5_a_maptext n5_a_maptext__1_1_1_1_1 Continue n5_a_maptext__1_1_1_2_1_1 until n5_a_maptext__1_1_1_2_2_1_1_1 you n5_a_maptext__1_1_1_2_2_2_1 cross n5_a_maptext__1_1_1_2_2_3_1_1 over n5_a_maptext__1_1_1_2_2_3_2_1_1 the n5_a_maptext__1_1_1_2_2_3_2_2_1 Burfell n5_a_maptext__1_1_1_2_2_3_2_3_1 road n5_a_maptext__1_1_2_1_1 and n5_a_maptext__1_1_2_2_1_1_1 then n5_a_maptext__1_1_2_2_2_1 take n5_a_maptext__1_1_2_2_3_1_1 the n5_a_maptext__1_1_2_2_3_2_1 track n5_a_maptext__1_1_2_2_3_3_1_1 that n5_a_maptext__1_1_2_2_3_3_2_1 *T* n5_a_maptext__1_1_2_2_3_3_3_1 leads n5_a_maptext__1_1_2_2_3_3_4_1_1 up_into n5_a_maptext__1_1_2_2_3_3_4_2_1_1 the n5_a_maptext__1_1_2_2_3_3_4_2_2_1 wood n5_a_maptext__1_2_1 . n5_a_maptext__1 IP-IMP n5_a_maptext__1_1 ILYR n5_a_maptext__1->n5_a_maptext__1_1 n5_a_maptext__1_2 PUNC n5_a_maptext__1->n5_a_maptext__1_2 n5_a_maptext__1_1_1 ILYR n5_a_maptext__1_1->n5_a_maptext__1_1_1 n5_a_maptext__1_1_2 CONJP n5_a_maptext__1_1->n5_a_maptext__1_1_2 n5_a_maptext__1_1_1_1 VB;_I_ n5_a_maptext__1_1_1->n5_a_maptext__1_1_1_1 n5_a_maptext__1_1_1_2 PP-SCON n5_a_maptext__1_1_1->n5_a_maptext__1_1_1_2 n5_a_maptext__1_1_1_1->n5_a_maptext__1_1_1_1_1 n5_a_maptext__1_1_1_2_1 P-CONN n5_a_maptext__1_1_1_2->n5_a_maptext__1_1_1_2_1 n5_a_maptext__1_1_1_2_2 IP-ADV n5_a_maptext__1_1_1_2->n5_a_maptext__1_1_1_2_2 n5_a_maptext__1_1_1_2_1->n5_a_maptext__1_1_1_2_1_1 n5_a_maptext__1_1_1_2_2_1 NP-SBJ n5_a_maptext__1_1_1_2_2->n5_a_maptext__1_1_1_2_2_1 n5_a_maptext__1_1_1_2_2_2 VBP;_Ipr_ n5_a_maptext__1_1_1_2_2->n5_a_maptext__1_1_1_2_2_2 n5_a_maptext__1_1_1_2_2_3 PP-CLR n5_a_maptext__1_1_1_2_2->n5_a_maptext__1_1_1_2_2_3 n5_a_maptext__1_1_1_2_2_1_1 PRO n5_a_maptext__1_1_1_2_2_1->n5_a_maptext__1_1_1_2_2_1_1 n5_a_maptext__1_1_1_2_2_1_1->n5_a_maptext__1_1_1_2_2_1_1_1 n5_a_maptext__1_1_1_2_2_2->n5_a_maptext__1_1_1_2_2_2_1 n5_a_maptext__1_1_1_2_2_3_1 P-ROLE n5_a_maptext__1_1_1_2_2_3->n5_a_maptext__1_1_1_2_2_3_1 n5_a_maptext__1_1_1_2_2_3_2 NP n5_a_maptext__1_1_1_2_2_3->n5_a_maptext__1_1_1_2_2_3_2 n5_a_maptext__1_1_1_2_2_3_1->n5_a_maptext__1_1_1_2_2_3_1_1 n5_a_maptext__1_1_1_2_2_3_2_1 D n5_a_maptext__1_1_1_2_2_3_2->n5_a_maptext__1_1_1_2_2_3_2_1 n5_a_maptext__1_1_1_2_2_3_2_2 NPR n5_a_maptext__1_1_1_2_2_3_2->n5_a_maptext__1_1_1_2_2_3_2_2 n5_a_maptext__1_1_1_2_2_3_2_3 N n5_a_maptext__1_1_1_2_2_3_2->n5_a_maptext__1_1_1_2_2_3_2_3 n5_a_maptext__1_1_1_2_2_3_2_1->n5_a_maptext__1_1_1_2_2_3_2_1_1 n5_a_maptext__1_1_1_2_2_3_2_2->n5_a_maptext__1_1_1_2_2_3_2_2_1 n5_a_maptext__1_1_1_2_2_3_2_3->n5_a_maptext__1_1_1_2_2_3_2_3_1 n5_a_maptext__1_1_2_1 CONJ n5_a_maptext__1_1_2->n5_a_maptext__1_1_2_1 n5_a_maptext__1_1_2_2 ILYR n5_a_maptext__1_1_2->n5_a_maptext__1_1_2_2 n5_a_maptext__1_1_2_1->n5_a_maptext__1_1_2_1_1 n5_a_maptext__1_1_2_2_1 ADVP-NIM n5_a_maptext__1_1_2_2->n5_a_maptext__1_1_2_2_1 n5_a_maptext__1_1_2_2_2 VB;_Tn_ n5_a_maptext__1_1_2_2->n5_a_maptext__1_1_2_2_2 n5_a_maptext__1_1_2_2_3 NP-OB1 n5_a_maptext__1_1_2_2->n5_a_maptext__1_1_2_2_3 n5_a_maptext__1_1_2_2_1_1 ADV n5_a_maptext__1_1_2_2_1->n5_a_maptext__1_1_2_2_1_1 n5_a_maptext__1_1_2_2_1_1->n5_a_maptext__1_1_2_2_1_1_1 n5_a_maptext__1_1_2_2_2->n5_a_maptext__1_1_2_2_2_1 n5_a_maptext__1_1_2_2_3_1 D n5_a_maptext__1_1_2_2_3->n5_a_maptext__1_1_2_2_3_1 n5_a_maptext__1_1_2_2_3_2 N n5_a_maptext__1_1_2_2_3->n5_a_maptext__1_1_2_2_3_2 n5_a_maptext__1_1_2_2_3_3 IP-REL n5_a_maptext__1_1_2_2_3->n5_a_maptext__1_1_2_2_3_3 n5_a_maptext__1_1_2_2_3_1->n5_a_maptext__1_1_2_2_3_1_1 n5_a_maptext__1_1_2_2_3_2->n5_a_maptext__1_1_2_2_3_2_1 n5_a_maptext__1_1_2_2_3_3_1 C n5_a_maptext__1_1_2_2_3_3->n5_a_maptext__1_1_2_2_3_3_1 n5_a_maptext__1_1_2_2_3_3_2 NP-SBJ n5_a_maptext__1_1_2_2_3_3->n5_a_maptext__1_1_2_2_3_3_2 n5_a_maptext__1_1_2_2_3_3_3 VBP;_Ipr_ n5_a_maptext__1_1_2_2_3_3->n5_a_maptext__1_1_2_2_3_3_3 n5_a_maptext__1_1_2_2_3_3_4 PP-CLR n5_a_maptext__1_1_2_2_3_3->n5_a_maptext__1_1_2_2_3_3_4 n5_a_maptext__1_1_2_2_3_3_1->n5_a_maptext__1_1_2_2_3_3_1_1 n5_a_maptext__1_1_2_2_3_3_2->n5_a_maptext__1_1_2_2_3_3_2_1 n5_a_maptext__1_1_2_2_3_3_3->n5_a_maptext__1_1_2_2_3_3_3_1 n5_a_maptext__1_1_2_2_3_3_4_1 P-ROLE n5_a_maptext__1_1_2_2_3_3_4->n5_a_maptext__1_1_2_2_3_3_4_1 n5_a_maptext__1_1_2_2_3_3_4_2 NP n5_a_maptext__1_1_2_2_3_3_4->n5_a_maptext__1_1_2_2_3_3_4_2 n5_a_maptext__1_1_2_2_3_3_4_1->n5_a_maptext__1_1_2_2_3_3_4_1_1 n5_a_maptext__1_1_2_2_3_3_4_2_1 D n5_a_maptext__1_1_2_2_3_3_4_2->n5_a_maptext__1_1_2_2_3_3_4_2_1 n5_a_maptext__1_1_2_2_3_3_4_2_2 N n5_a_maptext__1_1_2_2_3_3_4_2->n5_a_maptext__1_1_2_2_3_3_4_2_2 n5_a_maptext__1_1_2_2_3_3_4_2_1->n5_a_maptext__1_1_2_2_3_3_4_2_1_1 n5_a_maptext__1_1_2_2_3_3_4_2_2->n5_a_maptext__1_1_2_2_3_3_4_2_2_1 n5_a_maptext__1_2->n5_a_maptext__1_2_1 
( (IP-IMP (ILYR (ILYR (VB;_I_ Continue;{continue})
                      (PP-SCON (P-CONN until;{until})
                               (IP-ADV (NP-SBJ (PRO you;{you}))
                                       (VBP;_Ipr_ cross;{cross[over]})
                                       (PP-CLR (P-ROLE over;{over})
                                               (NP (D the;{the})
                                                   (NPR Burfell;{Burfell})
                                                   (N road;{road}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VB;_Tn_ take;{take})
                             (NP-OB1 (D the;{the})
                                     (N track;{track})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (VBP;_Ipr_ leads;{lead[up_into]})
                                             (PP-CLR (P-ROLE up_into;{up_into})
                                                     (NP;{WOOD} (D the;{the})
                                                                (N wood;{wood}))))))))
          (PUNC .))
  (ID 5_a_maptext))