How to define a motherfucker in math

In math logic you don't have to write only math's laws, we can describe everything in our world. For example, in the following diagram you can see a logical expression which defines a motherfucker:



where 'A' is Anne and 'T' is Thomas. In normal speak the expression is: "Anne wants to Thomas and is not true that Thomas wants to Anne or Thomas wants to Anne only if he wants to have sex with Anne."