Assertion list
utility (primary) → DefinedAs

Results from Ascent++: 2
utilityDefinedAs pleasure 0.34
utilityDefinedAs appended claims 0.31