Assertion list
dental cavity (subgroup of cavity ) → IsA
Results from Ascent++: 2
dental cavity → IsA → common problem 0.59
dental cavity → IsA → hole 0.59