All tagged Predicate Logic Symbols & Translation