Assertion list
overlord (primary) → HasProperty
Results from Ascent++: 3
overlord → HasProperty → successful 0.25
overlord → HasProperty → good 0.16
overlord → HasProperty → safe 0.16