Assertion list
feature (aspect of chainsaw ) → HasProperty
Results from Ascent++: 1
feature → HasProperty → helpful 0.23