Assertion list
surface (primary) → HasPrerequisite
Results from Ascent++: 2
surface → HasPrerequisite → sealing 0.31
surface → HasPrerequisite → more maintenance 0.22