Assertion list
spot (aspect of cheetah ) → HasProperty
Results from Ascent++: 1
spot → HasProperty → solid 0.38