Lab 1 -- Knowledge Representation