If there is a labeled "top-secret"
then the document's label must be top-secret.
If there is a labeled "secret"
then the document's label must be either secret
or top-secret.
If there is a labeled "confidential"
then the document's label must be either confidential,
secret, or top-secret.