Assertion list
dark beer (subgroup of beer ) → HasProperty
Results from Ascent++: 5
dark beer → HasProperty → heavy 0.83
dark beer → HasProperty → dark 0.36
dark beer → HasProperty → rich 0.36
dark beer → HasProperty → opaque 0.25
dark beer → HasProperty → perfect 0.16