Assertion list
ruminant (primary) → HasA
Results from Ascent++: 2
ruminant → HasA → stomach 0.69
ruminant → HasA → horn 0.41