There are many tags that imply others. See a highly related question: Could we make tags imply other tags?. One of the reasons against it is that it makes it more likely to hit the 5 tag limit. There are probably other reasons against as well.
My question is could we make tags optionally imply others. Like, if you use a tag, it will ask if you want to use other related tags.
Tags imply each other anyway (people automatically add more general versions of tags already); it would just be nice if there was technical assistance in this process.