@lambdagrrl I mean, it could be, if they're wholly defined by their place in that hierarchy of labels, but on the other hand they might be {slaves,pets,toys} entirely in the sense that those terms describe qualities they already had, in which case it's more structural subtyping.

I'd get the girls in question to each write a subsection about their particulars before attempting any mechanized metakink. And definitely I'd get them to take care of all the LaTeX figures for me.