Assertion list
sale tax (subgroup of tax ) → AtLocation
Results from Ascent++: 1
sale tax → AtLocation → force 0.25