Problem 5) Use multiple quantifiers and predicates to express each of the following: (a) Somebody in every state has seen the movie Wakanda Forever. Domains available are PEOPLE, STATES Predicates available are: LivesIn(p,s) = p lives in s HasSeen(p,m) = p has seen m (b) There is some professor that nobody in CMSC 250 has taken CMSC 132 with. Domains available are PEOPLE, PROFESSORS Predicates available are: 132with(s,i) = s took or is taking CMSC 132 with i 250with(s,i) = s took or is taking CMSC 250 with i CurrentlyTaking250(s) = s is currently taking 250 Problem 6) For each logic statement you created above in problem 3, negate it and express it back in English.