Assertion list
sign (primary) → HasPrerequisite
Results from Ascent++: 1
sign → HasPrerequisite → attention 0.52