Assertion list
reset (primary) → HasPrerequisite
Results from Ascent++: 1
reset → HasPrerequisite → change 0.29