New: knowledgerepresentation