Using the following predicates s(x) - x is a student b(x) - x is a book o(x, y) - x owns y l(x, y) - x likes y translate the following sentence each student likes a book that he or she owns. v, 7,3 (vx)[s(x) + (y)[b(y) & olx, y) & l(x, y)]] o (vx)[s(x) — (3y)[b(y) & l(x, y)]] o (vx)[s(x) = (3x)[b(x) & o(x, y) & l(x, y)]] o [s(x) = (3x)[b(x) & o(x, y) & l(x, y)]]