Assertion list
blt (primary) → HasProperty
Results from Ascent++: 3
blt → HasProperty → unique 0.25
blt → HasProperty → favorite 0.16
blt → HasProperty → simple 0.16