Assertion list
wealth (aspect of billionaire ) → HasProperty

Results from Ascent++: 1
wealthHasProperty equal 0.25