Assertion list
cavity (primary) → DefinedAs
Results from Ascent++: 1
cavity → DefinedAs → the body 0.38