All tagged Predicate Logic Natural Deduction Rules