All tagged Implication Rules