Assertion list
wide range (subgroup of range ) → HasProperty

Results from Ascent++: 1
wide rangeHasProperty possible 0.16