Assertion list
assessed value (subgroup of value ) → CapableOf
Results from Ascent++: 2
assessed value → CapableOf → remain unchanged 0.38
assessed value → CapableOf → exceed just value 0.25