A nonfinitely based additively idempotent semiring that is not strongly nonfinitely based and generates a limit variety

We present an explicit infinite equational basis for the six-element additively idempotent semiring $TR_6$ and prove that $TR_6$ is nonfinitely based. We also give a complete description of the subvariety lattice of the variety generated by $TR_6$, showing that it forms a four-element chain. Our res