Assertion list
light beer (subgroup of beer ) → HasProperty
Results from Ascent++: 1
light beer → HasProperty → perfect 0.16