语义规则

semantic rule