Assertion list
new denture (subgroup of denture ) → IsA
Results from Ascent++: 1
new denture → IsA → the reason 0.16