Assertion list
als (primary) → HasPrerequisite
Results from Ascent++: 1
als → HasPrerequisite → more attention 0.16