All tagged Propositional Logic Translations