Assertion list
stabilization (primary) → HasPrerequisite
Results from Ascent++: 2
stabilization → HasPrerequisite → more lime 0.25
stabilization → HasPrerequisite → thorough processing 0.25