Assertion list
steering (primary) → HasPrerequisite
Results from Ascent++: 1
steering → HasPrerequisite → less effort 0.20