. . . . . "In AI, the programs and sentences deal with various kinds of objects, and we study what these kinds are and what their basic properties are." .