Assertion list
index (primary) → HasProperty
Results from Ascent++: 3
index → HasProperty → unmanaged 0.40
index → HasProperty → equal 0.39
index → HasProperty → valid 0.25