--# -path=.:alltenses

resource SymbolicTha = Symbolic with 
  (Symbol = SymbolTha),
  (Grammar = GrammarTha) ;