语义学归结的英文翻译

中文：语义学归结