Part III: Semantics