Assertion list
light beer (subgroup of beer ) → IsA
Results from Ascent++: 1
light beer → IsA → beer 0.68