Assertion list
mouse (primary) → HasPrerequisite
Results from Ascent++: 1
mouse → HasPrerequisite → hole 0.43