Assertion list
millennium (primary) → HasPrerequisite
Results from Ascent++: 1
millennium → HasPrerequisite → analysis 0.23