Assertion list
symbol (primary) → DefinedAs
Results from Ascent++: 2
symbol → DefinedAs → activator symbols 0.27
symbol → DefinedAs → in connection with formula 0.27