Assertion list
cove (primary) → HasProperty
Results from Ascent++: 2
cove → HasProperty → small 0.59
cove → HasProperty → suitable 0.41