根据矛盾关系，由SIP可以得到  。