Stav dette: Processing declarative knowledge :