Assertion list
consensus (primary) → HasPrerequisite
Results from Ascent++: 1
consensus → HasPrerequisite → respect 0.25