Semantics (WIMS14)