Interpretation of three sorts