全局规则验证只有一个IfcProject实例(作为最大值)存在。
RULE IfcSingleProjectInstance FOR ( IfcProject ); WHERE WR1 : SIZEOF(IfcProject) <= 1 END_RULE;