Assertion list
grain size (subgroup of size ) → HasProperty

Results from Ascent++: 1
grain sizeHasProperty smallest 0.25