Assertion list
crevasse (primary) → IsA
Results from Ascent++: 1
crevasse → IsA → crack 0.62