Represent the following statements as formulas of Predicate Calculus, stating theintended interpretation of any predicates and constants that you use.…