There’s a nice overview of resolving mate errors, over at the SolidWorks website (link). It shows some of the tools available, and reminds me of why I prefer SolidWorks over Pro/E!