Representation and reasoning 2