I need to sort myself out and figure out what I want in life.

Many-sorted logic is a formal framework that extends classical first-order logic to allow for multiple sorts or types of objects.

She is sorting herself out after the breakup.

I finally sorted myself out and got my life back on track.

Many-sorted logics provide a framework for reasoning about complex systems.

Sort the wheat from the chaff.

I have sortsa things to do today.