Assertion list
bolero (primary) → HasProperty
Results from Ascent++: 1
bolero → HasProperty → versatile 0.16