Assertion list
thin skin (subgroup of skin ) → HasPrerequisite
Results from Ascent++: 1
thin skin → HasPrerequisite → few passes 0.25