Assertion list
world tree (subgroup of tree ) → IsA
Results from Ascent++: 1
world tree → IsA → symbol 0.68