“In a colorful part of the paper, he presented a fictional scenario in which he posed questions to the machine. He imagined the machine’s activity: “Over the week-end it retrieved over 10,000 documents, scanned them all for sections rich in relevant material, analyzed all the rich sections into statements in a high-order predicate calculus, and entered the statements into the data base.”