Assertion list
flavor (aspect of dill ) → HasProperty
Results from Ascent++: 1
flavor → HasProperty → strong 0.16