Assertion list
tooth cavity (subgroup of cavity ) → HasProperty
Results from Ascent++: 1
tooth cavity → HasProperty → visible 0.64