Assertion list for term "unique symbol".
Results from Ascent++: 1
prefix → HasA → unique symbol 0.25