Assertion list
car accident (subgroup of accident ) → IsA
Results from Ascent++: 1
car accident → IsA → among accident 0.25