[edflsafoiewq]

Yeah. A tag is a predicate. Sub-tags are implication (male author => author). Tag aliases are equivalence (implication in both directions).

[redbar0n]

isn't it super-tags that are implication? A male author (sub-tag) implies it's an author (super-tag). But an author does not necessarily imply it is a male author.