Two-dimensional semantics