2.5.3 语义归结策略