  We prove both necessary and sufficient conditions for $L^p$-bound\-ed\-ness
of certain multilinear generalized Radon transforms that arise as Heisenberg
group analogues of the Brascamp--Lieb inequalities on Euclidean space. The
necessary and sufficient conditions coincide in some important special cases,
but differ in others.
