12_a_maptext
Follow the ridge for about two miles.
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).
fof(formula,axiom,
? [R_0012_0002__THE_R_0012_0003__RIDGE,R_0012_0005__ABOUT,R_0012_0006__TWO_R_0012_0007__MILES,Z_000_12_A_MAPTEXT_1,R_0012_0001__FOLLOW] :
( r_0012_0002__the_r_0012_0003__ridge(R_0012_0002__THE_R_0012_0003__RIDGE)
& r_0012_0005__about(R_0012_0005__ABOUT)
& z_000_12_a_maptext_1(Z_000_12_A_MAPTEXT_1)
& r_0012_0001__Follow(R_0012_0001__FOLLOW)
& has_arg0(R_0012_0001__FOLLOW,Z_000_12_A_MAPTEXT_1)
& has_r_0012_0004__for_nim12(R_0012_0001__FOLLOW,R_0012_0006__TWO_R_0012_0007__MILES)
& r_0012_0006__two_r_0012_0007__miles(R_0012_0006__TWO_R_0012_0007__MILES)
& has_qual13(R_0012_0006__TWO_R_0012_0007__MILES,R_0012_0005__ABOUT)
& has_arg1(R_0012_0001__FOLLOW,R_0012_0002__THE_R_0012_0003__RIDGE) ) ).
( (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))