Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)