All tagged Natural Deduction Rules