Local detection of strongly irreducible Heegaard splittings

Let S be a Heegaard splitting surface of a compact orientable 3-manifold M. If S is strongly irreducible, the manner in which it can intersect a ball or a solid torus in M is very constrained and the allowable configurations are simple and useful. Splitting surfaces not conforming to these simple local pictures must be weakly reducible.