This is straightforward in XSD 1.1, because in 1.1 when a wildcard competes with an xsd:element element, the xsd:element element wins. (In 1.0, the pattern you illustrate produces a violation of the 'Unique Particle Attribution' [i.e. determinism] rule.)
Currently XSD 1.1 is supported by (in alpha order) Altova, Saxon, and Xerces.