Procedural semantics for a question-answering machine