We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.

翻译：我们针对有限子图格上下文中嵌套条件与约束的形式化体系，提出了一种无嵌套范式。