短语词组短語resolution refutation strategy 繙譯completeness of resolution refutation strategy [計]歸結反縯策略的完整性 返回 refutation strategy