Assertion list
intrinsic value (subgroup of value ) → HasProperty
Results from Ascent++: 2
intrinsic value → HasProperty → equal 0.25
intrinsic value → HasProperty → negative 0.23