Understanding Emotions with Isabelle