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

resource SymbolicIta = Symbolic with 
  (Symbol = SymbolIta),
  (Grammar = GrammarIta) ;