Add implication through ContextImplication.