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

resource SymbolicDan = Symbolic with 
  (Symbol = SymbolDan),
  (Grammar = GrammarDan) ;