present value subgroup of value, 15 assertions