Assertion list
data set (subgroup of set ) → HasProperty

Results from Ascent++: 2
data setHasProperty open 0.50
data setHasProperty large 0.41