added DrivingAction and Propositional Functions for Driving