5.1.7.1 IfcSingleProjectInstance（单一项目实例）

5.1.7.1.1 语义定义

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

5.1.7.1.2 形式化表示

RULE IfcSingleProjectInstance FOR
 (IfcProject);

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