Would it be ok if you could define relations between tags in code integrating them? Contradicts sorted foobar Independent sorted nonempty Independe

Would it be ok if you could define relations between tags in code integrating them? Contradicts sorted foobar Independent sorted nonempty Independent foobar nonempty Additionally there should be tag that contradicts everything by default.