Express the following in predicate logic using predicates, quantifers and logical operators. State the domain of values and the predicates.
(a) Everybody plays Super Mario.
(b) Someone nished all the levels of the game.
(c) At least two players passed level 5.
(d) There is exactly one level that all players can not pass