Assertion list
mango (primary) → SymbolOf
Results from Ascent++: 1
mango → SymbolOf → love 0.19