actionspec  {
 /* Action for the car agent to drive towards Dest provided it is desired and
  that it can go onwards. */
 drive (Dest) {
Pre  {dest (Dest), me (Me), go (Me)}
post  {true}
 }
}
Algorithm 4