Assertion list
use value (subgroup of value ) → HasProperty
Results from Ascent++: 2
use value → HasProperty → good 0.25
use value → HasProperty → heterogeneous 0.25