Representation and reasoning 3