Assertion list
scale (primary) → HasPrerequisite
Results from Ascent++: 1
scale → HasPrerequisite → stable surface 0.25