Assertion list
box (primary) → HasPrerequisite
Results from Ascent++: 2
box → HasPrerequisite → key 0.36
box → HasPrerequisite → signature 0.35