Assertion list
animal protein (subgroup of protein ) → IsA
Results from Ascent++: 3
animal protein → IsA → complete proteins 0.80
animal protein → IsA → protein 0.52
animal protein → IsA → the solution 0.25