Assertion list
protein food (subgroup of food ) → IsA

Results from Ascent++: 1
protein foodIsA milk 0.41