Assertion list
ponzi scheme (subgroup of scheme ) → HasProperty

Results from Ascent++: 1
ponzi schemeHasProperty illegal 0.39