Dings_SM_Language

I am the Language for defining Semantics in the Dings-System.