More Predicate Logic Symbolizations