--# -path=.:../english:../common:../abstract:../prelude

resource SymbolicSco = Symbolic with 
  (Symbol = SymbolSco),
  (Grammar = GrammarSco) ;