Assertion list
light (primary) → SymbolOf
Results from Ascent++: 1
light → SymbolOf → knowledge 0.54