let
descr =
"recognize security annotations of the specified lattice"