Assertion list
driverless car (subgroup of car ) → Causes
Results from Ascent++: 1
driverless car → Causes → crash 0.16