tagged(tag, p): matches a tagged subject with that tag (a Tag, its number, or its registered name) whose content matches the dCBOR pattern.
tagged(tag, p)
Tag
tagged(tag, p): matches a tagged subject with that tag (aTag, its number, or its registered name) whose content matches the dCBOR pattern.