arc(r_0003_0001__Continue, r_0003_0003__this_r_0003_0004__road, r_0003_0002__along_clr7).
arc(r_0003_0001__Continue, z_000_3_a_maptext_1, arg0).
arc(r_0003_0005__until, r_0003_0001__Continue, scope).
arc(r_0003_0005__until, r_0003_0007__arrive, restriction).
arc(r_0003_0007__arrive, r_0003_0006__you, arg0).
arc(r_0003_0007__arrive, r_0003_0009__a_r_0003_0010__car_r_0003_0011__park, r_0003_0008__at_clr24).

fof(formula,axiom,
    ? [R_3_5_UNTIL,R_3_7_ARRIVE,R_3_6_YOU,R_3_9_A_CAR_PARK,R_3_1_CONTINUE,Z_3_A_MAPTEXT_1,R_3_3_THIS_ROAD] :
      ( you(R_3_6_YOU)
      & a_car_park(R_3_9_A_CAR_PARK)
      & this_road(R_3_3_THIS_ROAD)
      & until(R_3_5_UNTIL)
      & conj1(R_3_5_UNTIL,R_3_7_ARRIVE)
      & arrive(R_3_7_ARRIVE,R_3_6_YOU)
      & at_clr24(R_3_7_ARRIVE,R_3_9_A_CAR_PARK)
      & conj2(R_3_5_UNTIL,R_3_1_CONTINUE)
      & continue(R_3_1_CONTINUE,Z_3_A_MAPTEXT_1)
      & along_clr7(R_3_1_CONTINUE,R_3_3_THIS_ROAD) ) ).

( (IP-IMP (VB;_Ipr_ Continue;{continue[along]})
          (PP-CLR (P-ROLE along;{along})
                  (NP (D this;{this})
                      (N road;{road})))
          (PP-SCON (P-CONN until;{until})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ arrive;{arrive[at]})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP;{CAR_PARK} (D a;{a})
                                                  (N car;{car})
                                                  (N park;{park})))))
          (PUNC .))
  (ID 3_a_maptext))