Bounded Generation of Submonoids of Heisenberg Groups | Synapse