The two last parts of your formula say that the binary relation is irreflexive and transitive.

A strict order, for instance, is a binary relation which is irreflexive and transitive.

So a possible model of is:

where is the restriction to of the usual strict order on

Now, does that model verify the whole formula? (i.e. does it verify the first part?)