Assertion list
sale tax (subgroup of tax ) → CapableOf
Results from Ascent++: 2
sale tax → CapableOf → take effect 0.38
sale tax → CapableOf → use tax 0.25