Assertion list
dung beetle (subgroup of beetle ) → IsA
Results from Ascent++: 1
dung beetle → IsA → beetle 0.16