Assertion list
case (aspect of cornet ) → HasProperty
Results from Ascent++: 2
case → HasProperty → lightweight 0.59
case → HasProperty → well-designed 0.59