Homework 2. Knowledge Representation and Reasoning