Ok. I think I understand. I also see now why it seems confusing. It's not very intuitive that the initial `!` doesn't just mean "tag", it means "local tag", unless that is if a `%TAG ! foo` directive has been used. Then they are transformed into "domain tags" without any initial `!`.
In other words, when someone sees something like: