Assertion list
spot (aspect of trout ) → HasProperty
Results from Ascent++: 2
spot → HasProperty → productive 0.25
spot → HasProperty → good 0.16