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 Every student does not like at least one book. (Vx)[(S(x) ? lay)[B(y) & ~L(y,x)]] (vx)(3x)[(S(x) ? [B(x) & ~L(x,y) ] (Vx)(ay)[(S(x) ? [B(y) & ~L(x,y)]] (Vx)[(S(x) ? lay)[B(y) & ~L(x,y)]]