The method includes syntax, semantics, and policies.

方法包括语法、语义和策略。