Context                Previous, Next                Top


12_a_maptext
Follow the ridge for about two miles.

%3 r_0012_0001__Follow Follow r_0012_0002__the_r_0012_0003__ridge the ridge r_0012_0001__Follow->r_0012_0002__the_r_0012_0003__ridge [arg1] r_0012_0006__two_r_0012_0007__miles two miles r_0012_0001__Follow->r_0012_0006__two_r_0012_0007__miles for [nim] z_000_12_a_maptext_1 r_0012_0001__Follow->z_000_12_a_maptext_1 [arg0] r_0012_0005__about about r_0012_0006__two_r_0012_0007__miles->r_0012_0005__about [qual] 
arc(r_0012_0001__Follow, r_0012_0002__the_r_0012_0003__ridge, arg1).
arc(r_0012_0001__Follow, r_0012_0006__two_r_0012_0007__miles, r_0012_0004__for_nim12).
arc(r_0012_0001__Follow, z_000_12_a_maptext_1, arg0).
arc(r_0012_0006__two_r_0012_0007__miles, r_0012_0005__about, qual13).


%3 r_0012_0006__two_r_0012_0007__miles two miles r_0012_0005__about about r_0012_0006__two_r_0012_0007__miles->r_0012_0005__about [qual] r_0012_0001__Follow Follow r_0012_0001__Follow->r_0012_0006__two_r_0012_0007__miles for [nim] z_000_12_a_maptext_1 r_0012_0001__Follow->z_000_12_a_maptext_1 [arg0] r_0012_0002__the_r_0012_0003__ridge the ridge r_0012_0001__Follow->r_0012_0002__the_r_0012_0003__ridge [arg1] 
fof(formula,axiom,
    ? [R_12_1_FOLLOW,Z_12_A_MAPTEXT_1,R_12_2_THE_RIDGE,R_12_6_TWO_MILES,R_12_5_ABOUT] :
      ( the_ridge(R_12_2_THE_RIDGE)
      & about(R_12_5_ABOUT)
      & follow(R_12_1_FOLLOW,Z_12_A_MAPTEXT_1,R_12_2_THE_RIDGE)
      & for_nim12(R_12_1_FOLLOW,R_12_6_TWO_MILES)
      & two_miles(R_12_6_TWO_MILES)
      & qual13(R_12_6_TWO_MILES,R_12_5_ABOUT) ) ).


n12_a_maptext n12_a_maptext__1_1_1 Follow n12_a_maptext__1_2_1_1 the n12_a_maptext__1_2_2_1 ridge n12_a_maptext__1_3_1_1 for n12_a_maptext__1_3_2_1_1_1 about n12_a_maptext__1_3_2_2_1 two n12_a_maptext__1_3_2_3_1 miles n12_a_maptext__1_4_1 . n12_a_maptext__1 IP-IMP n12_a_maptext__1_1 VB;_Tn_ n12_a_maptext__1->n12_a_maptext__1_1 n12_a_maptext__1_2 NP-OB1 n12_a_maptext__1->n12_a_maptext__1_2 n12_a_maptext__1_3 PP-NIM n12_a_maptext__1->n12_a_maptext__1_3 n12_a_maptext__1_4 PUNC n12_a_maptext__1->n12_a_maptext__1_4 n12_a_maptext__1_1->n12_a_maptext__1_1_1 n12_a_maptext__1_2_1 D n12_a_maptext__1_2->n12_a_maptext__1_2_1 n12_a_maptext__1_2_2 N n12_a_maptext__1_2->n12_a_maptext__1_2_2 n12_a_maptext__1_2_1->n12_a_maptext__1_2_1_1 n12_a_maptext__1_2_2->n12_a_maptext__1_2_2_1 n12_a_maptext__1_3_1 P-ROLE n12_a_maptext__1_3->n12_a_maptext__1_3_1 n12_a_maptext__1_3_2 NP n12_a_maptext__1_3->n12_a_maptext__1_3_2 n12_a_maptext__1_3_1->n12_a_maptext__1_3_1_1 n12_a_maptext__1_3_2_1 ADVP n12_a_maptext__1_3_2->n12_a_maptext__1_3_2_1 n12_a_maptext__1_3_2_2 NUM n12_a_maptext__1_3_2->n12_a_maptext__1_3_2_2 n12_a_maptext__1_3_2_3 NS n12_a_maptext__1_3_2->n12_a_maptext__1_3_2_3 n12_a_maptext__1_3_2_1_1 ADV n12_a_maptext__1_3_2_1->n12_a_maptext__1_3_2_1_1 n12_a_maptext__1_3_2_1_1->n12_a_maptext__1_3_2_1_1_1 n12_a_maptext__1_3_2_2->n12_a_maptext__1_3_2_2_1 n12_a_maptext__1_3_2_3->n12_a_maptext__1_3_2_3_1 n12_a_maptext__1_4->n12_a_maptext__1_4_1 
( (IP-IMP (VB;_Tn_ Follow;{follow})
          (NP-OB1 (D the;{the})
                  (N ridge;{ridge}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (ADVP (ADV about;{about}))
                      (NUM two;{two})
                      (NS miles;{mile})))
          (PUNC .))
  (ID 12_a_maptext))