The global of a pseudovariety of monoids is the pseudovariety of categories it generates when its elements are viewed as the monoids of edges in one-vertex categories. The global of a pseudovariety of monoids is useful in the computation of various operators involving the pseudovariety. The simplest case occurs when the global of the pseudovariety is characterized by properties of the local submonoids of its members, in which case the pseudovariety is said to be local. In this paper we consider a pseudovariety which intervenes in the study of hierarchies of concatenation of rational languages, namely the bilateral semidirect product of the pseudovarieties Sl of finite semilattices and J of finite J-trivial finite semigroups. We prove it is local. As a biproduct of our arguments, we also compute the global of the join of the pseudovarieties R and L respectively of finite R and L-trivial semigroups. The global of this join turns out to be defined by a single pseudoidentity on a two-vertex category which cannot be expressed locally.