Two-Dimensional Semantics