Assertion list
individual consumer (subgroup of consumer ) → HasA

Results from Ascent++: 1
individual consumerHasA little power 0.25