Improved KnowledgeBase tests.

Added to_s implementations for ComplexSentence and KnowledgeBase.