高级上下文语义（high-level contextual semantics）