actionspec  {
% Action for the car agent to drive which also adds justifications.
 drive (Dest, Pre) {
pre  {dest (Dest), me (Me), go (Me), append (Pre, [dest (Dest), go (Me),
      action (drive)], S)}
post  {at (Dest), just (at (Dest), S)}
 }
}
Algorithm 9