Assertion list
prop (primary) → HasPrerequisite
Results from Ascent++: 1
prop → HasPrerequisite → warning 0.16