Please generate examples of logical statements and their corresponding formal description in predicate logic. Please make sure that the examples cover most of the important operators and concepts of predicate logic.