Assertion list for term "form on the root surfaces".
Results from Ascent++: 1
new cavity (subgroup of cavity) → CapableOf → form on the root surfaces 0.68