Assertion list
cone (primary) → HasProperty
Results from Ascent++: 3
cone → HasProperty → small 0.35
cone → HasProperty → equal 0.33
cone → HasProperty → long 0.33