5.1.7.1 IfcSingleProjectInstance
5.1.7.1.1 Semantic definition
The global rule verifies that only a single (as maximum) instance of IfcProject exists.
5.1.7.1.2 Formal representation
RULE IfcSingleProjectInstance FOR (IfcProject); WHERE WR1 : SIZEOF(IfcProject) <= 1; END_RULE;