9_a_maptext
Continue for about a mile until you reach a picnic site.
arc(r_0009_0001__Continue, r_0009_0004__a_r_0009_0005__mile, r_0009_0002__for_clr7).
arc(r_0009_0001__Continue, z_000_9_a_maptext_1, arg0).
arc(r_0009_0004__a_r_0009_0005__mile, r_0009_0003__about, qual8).
arc(r_0009_0006__until, r_0009_0001__Continue, scope).
arc(r_0009_0006__until, r_0009_0008__reach, restriction).
arc(r_0009_0008__reach, r_0009_0007__you, arg0).
arc(r_0009_0008__reach, r_0009_0009__a_r_0009_0010__picnic_r_0009_0011__site, arg1).
fof(formula,axiom,
? [R_9_6_UNTIL,R_9_8_REACH,R_9_7_YOU,R_9_9_A_PICNIC_SITE,R_9_1_CONTINUE,Z_9_A_MAPTEXT_1,R_9_4_A_MILE,R_9_3_ABOUT] :
( you(R_9_7_YOU)
& a_picnic_site(R_9_9_A_PICNIC_SITE)
& about(R_9_3_ABOUT)
& until(R_9_6_UNTIL)
& conj1(R_9_6_UNTIL,R_9_8_REACH)
& reach(R_9_8_REACH,R_9_7_YOU,R_9_9_A_PICNIC_SITE)
& conj2(R_9_6_UNTIL,R_9_1_CONTINUE)
& continue(R_9_1_CONTINUE,Z_9_A_MAPTEXT_1)
& for_clr7(R_9_1_CONTINUE,R_9_4_A_MILE)
& a_mile(R_9_4_A_MILE)
& qual8(R_9_4_A_MILE,R_9_3_ABOUT) ) ).
( (IP-IMP (VB;_Ipr_ Continue;{continue[for]})
(PP-CLR (P-ROLE for;{for})
(NP (ADVP (ADV about;{about}))
(D a;{a})
(N mile;{mile})))
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ (PRO you;{you}))
(VBP;_Tn_ reach;{reach})
(NP-OB1;{PICNIC_SITE} (D a;{a})
(N picnic;{picnic})
(N site;{site}))))
(PUNC .))
(ID 9_a_maptext))