We consider an ordered completely simple semigroup S = M(G; I, A; P) which
is non-degenerate in the sense that G, I, Lambda are non-trivial. We prove
that if every element of S has a biggest inverse then S contains at least o
ne of seven particular types of subsemigroup.