Two-dimensional Semantics