Spinoza Emotion Formulas

Exercise: Express Spinoza's description of the emotions (from his Ethics) with formal, symbolic logicism. 

This is an open exercise. Please contact further if are interested in sharing what you come up with (or find errors / build upon the ideas laid out here). 

The ideas below need polishing, but they are a good start. What needs to be fine-tuned in my answer is when Spinoza is describing an implication or a conjunction, what is the smallest amount of parameters for different functions/relations that can still encapsulate all of the ideas at play, and how does time come into play. I also would have to go back through and use the condition that I introduced early-on to differentiate "good and evil" from "benefit and harm" to the different statements, because as of right now, they are unclarified. Considering that this was only an exercise amongst other things, this may have been a one-shot attempt, or a beginning of a longer editing process. Regardless of how far I got, the problem still stands as an interesting exercise to those interested in logicism and philosophy.