SIMPLANG
Semantics