Contradictory rules for Name field (Entity Rule - IfcBuildingElementProxy.WR1)

[AntonioCWD]

According to the validator the following line is violating a rule, where the name field has to exist(/be populated):
#325286= IFCBUILDINGELEMENTPROXY(‘1kZKrDa5XBteRTcTyfP8Jx’,#11,$,$,‘F A L S C H’,#133475,$,‘F A L S C H’,$);

According to the buildingSMART documentation both the Name and Description fields (3rd and 4th parameter) are optional:

Please have a look at these rules of the validator.

[Evandro]

There is an express WHERE RULE in the IFC schema that requires IfcBuildingElementProxy to have a Name.

See the third Formal Proposition for such entity in the official documentation.

[AntonioCWD]

Thank you for the clarification. That helped me better understand the STEP format. In particular the WHERE rules.