Assertion list
drop (primary) → HasPrerequisite
Results from Ascent++: 1
drop → HasPrerequisite → other modifications 0.25