Assertion list
base money (subgroup of money ) → HasProperty
Results from Ascent++: 1
base money → HasProperty → special 0.25