Assertion list
anarchy (primary) → HasProperty
Results from Ascent++: 3
anarchy → HasProperty → bad 0.23
anarchy → HasProperty → good 0.23
anarchy → HasProperty → impossible 0.23