Added isWellFormedKnowledge(), knowledgeCheck(), and some unit tests for them both.