Assertion list
frog (primary) → SymbolOf
Results from Ascent++: 1
frog → SymbolOf → fertility 0.28