On the Effective Use of Cyc in a Question Answering System