Assertion list
canna (primary) → HasProperty
Results from Ascent++: 1
canna → HasProperty → easy 0.16