Assertion list
pothole (primary) → IsA
Results from Ascent++: 1
pothole → IsA → hole 0.30