The global rule verifies that only a single (as maximum) instance of IfcProject exists.
RULE IfcSingleProjectInstance FOR ( IfcProject ); WHERE WR1 : SIZEOF(IfcProject) <= 1 END_RULE;
Link to this page