--# -path=.:present:mathematical:prelude

resource SymbolicSnd = Symbolic with 
  (Symbol = SymbolSnd),
  (Grammar = GrammarSnd) ;