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 If a student likes a book, he or she owns it. (vx)(v)[(S(x) & B(y) & L(x,y)) O(x,y)] (vx)(x)[(S(x) & B(x) & L(x,y)) [(S(x) & B(y) & L(x,y)) O(x,y)] O(x,y)] (vx)[(S(x) & B(y) & L(x,y)) & O(x,y)]