Assertion list
brewing beer (subgroup of beer ) → HasProperty
Results from Ascent++: 3
brewing beer → HasProperty → complicated 0.68
brewing beer → HasProperty → fun 0.16
brewing beer → HasProperty → simple 0.16