3.1 Specialized language semantics