Assertion list
excise tax (subgroup of tax ) → HasProperty
Results from Ascent++: 1
excise tax → HasProperty → equal 0.30