1 2 3 4 5
--# -path=.:present:mathematical:prelude resource SymbolicFre = Symbolic with (Symbol = SymbolFre), (Grammar = GrammarFre) ;