Assertion list
range (aspect of seal ) → HasProperty
Results from Ascent++: 3
range → HasProperty → narrow 0.68
range → HasProperty → possible 0.56
range → HasProperty → exemplary 0.43