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

resource SymbolicAra = Symbolic with 
  (Symbol = SymbolAra),
  (Grammar = GrammarAra) ;