Assertion list
cash value (subgroup of value ) → HasProperty
Results from Ascent++: 2
cash value → HasProperty → equal 0.25
cash value → HasProperty → greater 0.25