Describir: A logical formalization of the OCC theory of emotions.