Did you know ... Search Documentation:
Predicate tag_order/2
 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.