Assertion list
pasteurized milk (subgroup of milk ) → IsA
Results from Ascent++: 1
pasteurized milk → IsA → milk 0.61