Assertion list
tooth colored filling (subgroup of filling ) → IsA
Results from Ascent++: 1
tooth colored filling → IsA → fast, simple procedure 0.21