Assignment 2: Knowledge Base Solution