Assertion list
herbst appliance (subgroup of appliance ) → IsA
Results from Ascent++: 1
herbst appliance → IsA → functional appliance 0.25