Assertion list
level (primary) → IsA
Results from Ascent++: 1
level → IsA → good place 0.36