a system for comparing knowledge