Assertion list
cavity (primary) → IsA
Results from Ascent++: 3
cavity → IsA → hole 0.52
cavity → IsA → small hole 0.46
cavity → IsA → structure 0.31