Add ModusPonensRule