cocommutative hypergraph labeled over a multigraph