Assertion list
type (aspect of sake ) → HasProperty
Results from Ascent++: 1
type → HasProperty → nice 0.59