Assertion list
lh (primary) → HasProperty
Results from Ascent++: 3
lh → HasProperty → high 0.39
lh → HasProperty → higher 0.35
lh → HasProperty → essential 0.32