Assertion list
data type (subgroup of character ) → HasProperty
Results from Ascent++: 2
data type → HasProperty → double 0.68
data type → HasProperty → useful 0.16