Assertion list
spot (aspect of leopard ) → HasProperty
Results from Ascent++: 3
spot → HasProperty → solid 0.51
spot → HasProperty → unique 0.43
spot → HasProperty → smaller 0.25