In this note, we present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite categories of subgraphs.

翻译：本文提出了一种针对子图有限范畴中嵌套条件与约束的形式化方法，该形式具有无嵌套的规范形式。