Assertion list
key (primary) → HasPrerequisite
Results from Ascent++: 2
key → HasPrerequisite → less force 0.34
key → HasPrerequisite → effective policy 0.24