Hi Clifford,
Yes, you caught a poor choice of terms, on my part - an objectification of "supervises" would be something like instances of supervision (not something worth tracking; and not a subtype of Employee). I'm glad you caught that, and also that you provided a more reasonable example for using Ring and Subtype ...