Assertion list
capstone (primary) → IsA
Results from Ascent++: 2
capstone → IsA → final stone 0.39
capstone → IsA → upper, middle stone 0.25