Experiments with a deductive question-answering program | Synapse