Subscript tags

Subscripts are often used as tags, to distinguish distinct but related terms of the same sort. This can be achieved using:
 s:𝕊, s_tag : s
where tag is the sort of the tags.