Fischer decomposition for the symplectic group

We prove the Fischer decomposition for the space of spinor-valued polynomials, defined on Euclidean space of four-fold dimension, in terms of irreducible modules for the symplectic group, consisting of so-called osp(4|2)-monogenics.