Assertion list
wealth (aspect of millionaire ) → HasProperty
Results from Ascent++: 1
wealth → HasProperty → equal 0.25