Assertion list
shell (aspect of tortoise ) → HasPrerequisite
Results from Ascent++: 1
shell → HasPrerequisite → a lot 0.25