Assertion list
pass (primary) → HasProperty
Results from Ascent++: 2
pass → HasProperty → valid 0.68
pass → HasProperty → great 0.48