( (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))

arc(r_0003_0001__Continue_r_0003_0002__along,r_0003_0003__this_r_0003_0004__road,arg1).
arc(r_0003_0001__Continue_r_0003_0002__along,z_0003_5002,arg0).
arc(r_0003_0005__until,r_0003_0001__Continue_r_0003_0002__along,scope).
arc(r_0003_0005__until,r_0003_0007__arrive_r_0003_0008__at,restriction).
arc(r_0003_0007__arrive_r_0003_0008__at,r_0003_0006__you,arg0).
arc(r_0003_0007__arrive_r_0003_0008__at,r_0003_0009__a_r_0003_0010__car_r_0003_0011__park,arg1).

fof(formula,axiom,
    ? [R_0003_0003__THIS_R_0003_0004__ROAD,Z_0003_5002,R_0003_0001__CONTINUE_R_0003_0002__ALONG,R_0003_0006__YOU,R_0003_0009__A_R_0003_0010__CAR_R_0003_0011__PARK,R_0003_0007__ARRIVE_R_0003_0008__AT,R_0003_0005__UNTIL] :
      ( r_0003_0003__this_r_0003_0004__road(R_0003_0003__THIS_R_0003_0004__ROAD)
      & r_0003_0006__you(R_0003_0006__YOU)
      & r_0003_0009__a_r_0003_0010__car_r_0003_0011__park(R_0003_0009__A_R_0003_0010__CAR_R_0003_0011__PARK)
      & z_0003_5002(Z_0003_5002)
      & r_0003_0005__until(R_0003_0005__UNTIL)
      & has_conj1(R_0003_0005__UNTIL,R_0003_0007__ARRIVE_R_0003_0008__AT)
      & r_0003_0007__arrive_r_0003_0008__at(R_0003_0007__ARRIVE_R_0003_0008__AT)
      & has_arg1(R_0003_0007__ARRIVE_R_0003_0008__AT,R_0003_0009__A_R_0003_0010__CAR_R_0003_0011__PARK)
      & has_arg0(R_0003_0007__ARRIVE_R_0003_0008__AT,R_0003_0006__YOU)
      & has_conj2(R_0003_0005__UNTIL,R_0003_0001__CONTINUE_R_0003_0002__ALONG)
      & r_0003_0001__Continue_r_0003_0002__along(R_0003_0001__CONTINUE_R_0003_0002__ALONG)
      & has_arg0(R_0003_0001__CONTINUE_R_0003_0002__ALONG,Z_0003_5002)
      & has_arg1(R_0003_0001__CONTINUE_R_0003_0002__ALONG,R_0003_0003__THIS_R_0003_0004__ROAD) ) ).