原语分解

primitive resolution