All tagged Implication Rule