Assertion list
cracked tooth (subgroup of tooth ) → IsA
Results from Ascent++: 1
cracked tooth → IsA → tooth 0.45