Assertion list
absolution (primary) → HasProperty
Results from Ascent++: 1
absolution → HasProperty → valid 0.68