Assertion list
horizontal (primary) → HasProperty
Results from Ascent++: 2
horizontal → HasProperty → vertical 0.68
horizontal → HasProperty → true 0.25