Assertion list
head (primary) → HasPrerequisite
Results from Ascent++: 1
head → HasPrerequisite → support 0.34