Assertion list
data set (subgroup of set ) → HasProperty
Results from Ascent++: 2
data set → HasProperty → open 0.50
data set → HasProperty → large 0.41