Semantics

Documentation will be added later.