Assertion list
range (aspect of leopard ) → HasProperty
Results from Ascent++: 1
range → HasProperty → larger 0.68