added skeleton for DrivingAssertion