Assertion list
hot sake (subgroup of sake ) → IsA
Results from Ascent++: 1
hot sake → IsA → high-grade sake 0.72