Hello I’m trying to convert the following phrase into predicate calculus and just wanted someone to review my work to make sure i’m doing it right