1. The problem statement, all variables and given/known data Put the sentence into symbols using the suggested notation. Dolphins and porpoises grin and frolic in the sea. (Dx = x is a dolphin; Px = x is a porpoise; Gx = x grins; Fx = x frolics in the sea) 2. Relevant equations None. 3. The attempt at a solution [itex](\forall x)(\forall y)[Dx\rightarrow(Gx\wedge Fx)][Py\rightarrow(Gy\wedge Fy)][/itex] But I'm not sure if this translate exactly as I want it to.