Assertion list
timing (primary) → HasPrerequisite
Results from Ascent++: 1
timing → HasPrerequisite → work 0.25