tag_order(+Tag:atom, -Order:int) is semidet[private]

Both declares the know tags and their expected order. Currently the tags are forced into this order without warning. Future versions may issue a warning if the order is inconsistent.