Assertion list
assessed value (subgroup of value ) → IsA

Results from Ascent++: 2
assessed valueIsA the value 0.43
assessed valueIsA in excess 0.25