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

resource SymbolicFre = Symbolic with 
  (Symbol = SymbolFre),
  (Grammar = GrammarFre) ;