Assertion list
absolute truth (subgroup of truth ) → SymbolOf

Results from Ascent++: 1
absolute truthSymbolOf eternity 0.52