Primitive labels format for not littering DCG.