Assertion list
purchase (aspect of customer ) → DefinedAs

Results from Ascent++: 1
purchaseDefinedAs an earn-out 0.27