2.4.3 明确、正式的语义表达