fix wording/grammar and expression display

[jvoigtlaender]

This is how it looks right now:

Note that "when the relation that e1 evaluates to the same relation as e2" makes no sense grammatically, and also note the strange linebreak in the middle of expression e2 in e1.