5.1.7.1 IfcSingleProjectInstance (单一项目实例)

5.1.7.1.1 语义定义（Semantic definition）

此全局规则验证最多只存在一个 IfcProject 实例。

5.1.7.1.2 形式化表示（Formal representation）

RULE IfcSingleProjectInstance FOR
 (IfcProject);

    WHERE
      WR1 : SIZEOF(IfcProject) <= 1;
END_RULE;