Assertion list
range (primary) → HasPrerequisite
Results from Ascent++: 1
range → HasPrerequisite → low maintenance 0.25