Assertion list
frontier (primary) → IsA
Results from Ascent++: 1
frontier → IsA → boundary 0.30