Assertion list for term "their union".
Results from Ascent++: 1
ring → SymbolOf → their union 0.36