Assertion list
animation (primary) → HasPrerequisite
Results from Ascent++: 1
animation → HasPrerequisite → work 0.40