On the topological entropy of saturated sets for amenable group actions

Let $(X,\rho,G)$ be a $G-$action topological system, where $G$ is a countable infinite discrete amenable group and $X$ a compact metric space. We prove a variational principle for topological entropy of saturated sets for systems which have specification and uniform separation properties. As an application, we compute the topological entropy of level sets and irregular sets.