Translate each of the following sentences into FIRST-ORDER LOGIC: (a) "Malone does not read every book that is recommended to him." (b) "Every painter admires at least one painter." (c) "Every solid is soluble in some liquid." (d) "Not every river in America is longer than every river in Europe." (e) "No number is greater than itself."
In addition to specifying a non-empty universe of discourse, what is required to give an interpretation of a schema?