Representation and reasoning 1