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

resource SymbolicGer = Symbolic with 
  (Symbol = SymbolGer),
  (Grammar = GrammarGer) ;