Assertion list
brewing beer (subgroup of beer ) → ReceivesAction

Results from Ascent++: 1
brewing beerReceivesAction subject to taxation 0.25