  We study partially-hyperbolic skew-product maps over the Bernoulli shift with
H\"older dependence on the base points. In the case of contracting fiber maps,
symbolic blender-horseshoe is defined as an invariant set which meets any
almost horizontal disk in a robust sense. These invariant sets are understood
as blenders with center stable bundle of any dimension. We then give necessary
conditions (covering property) on an iterated function system such that the
relevant skew-product has a symbolic blender-horseshoe. We use this local plug
to yield robustly non-hyperbolic transitive diffeomorphisms and robust
heterodimensional cycles of co-index equal to the dimension of the central
direction.
