Assertion list
value (aspect of function ) → PartOf

Results from Ascent++: 1
valuePartOf a member of the set 0.25