Assertion list
tax rate (subgroup of rate ) → IsA

Results from Ascent++: 1
tax rateIsA the rate 0.25