Assertion list
screen (primary) → HasPrerequisite
Results from Ascent++: 1
screen → HasPrerequisite → more power 0.47