Assertion list
present value (subgroup of value ) → IsA

Results from Ascent++: 1
present valueIsA the value 0.25