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

resource SymbolicBul = Symbolic with 
  (Symbol = SymbolBul),
  (Grammar = GrammarBul) ;