PLEXIL's small DriveToSchool example.