1: \begin{abstract} A

2: new model, in terms of finite bipartite graphs, of the free pseudosemilattice is presented. This will then be used to obtain several results about the variety $\mathbf{SPS}$ of all strict pseudosemilattices: (i) an identity basis for $\mathbf{SPS}$ is found, (ii) $\mathbf{SPS}$ is shown to be inherently non-finitely based, (iii) $\mathbf{SPS}$ is shown to have no irredundant identity basis, and (iv) $\mathbf{SPS}$ is shown to have no covers and to be $\cap$-prime in the lattice of all varieties of pseudosemilattices.

3: Some applications to e-varieties of locally inverse semigroups are also derived.

4: 

5: \end{abstract}