AltGr is just implemented as Alt + Ctrl. This means it's unnecessary and is only going to complicate the spec.
There is no way to tell if they are meant to be one or two keys and in this case simplicity of use wins out.