Assertion list
fractional share (subgroup of share ) → UsedFor

Results from Ascent++: 1
fractional shareUsedFor such payment 0.12