•Terms: x, A, nextBlock(A)
•Atomic sentences: Above(A,D), On(x,B), Clear(y)
•These sentence are true under an interpretation where constants and relations are as we described and x, y are interpreted as D, A or D, C.
•These sentences are also true under an interpretation where A,B,C,D are the numbers 16, 2, 17, 4, On is “the square of”, Above is “a power of”, Clear is “greater than 15”.
