1: \begin{abstract}

2: Finite-above inverse monoids are a common generalization of finite inverse monoids and Margolis--Meakin expansions of groups.

3: Given a finite-above $E$-unitary inverse monoid $M$ and a group variety $\slU$, 

4: we find a condition for $M$ and $\slU$, involving a construction of descending chains of graphs, which is equivalent to

5: $M$ having an $F$-inverse cover via $\slU$.

6: In the special case where $\slU=\slAb$, the variety of Abelian groups, we apply 

7: this condition

8: to get a simple sufficient condition for $M$ to 

9: have no

10: $F$-inverse cover via $\slAb$, 

11: formulated by means of the natural partial order and the least group congruence of $M$.

12: \end{abstract}

13: