Assertion list
present value (subgroup of value ) → CapableOf

Results from Ascent++: 1
present valueCapableOf use a discount rate 0.46