The PredefinedType shall only be used...

My question: is it possible to check the following using IDS? I’ve tried for several hours but each IDS iteration either doesn’t work - it does’t find the error - or is ‘invalid’.

I’ve received an Ifc4 (ReferenceView_V1.2) which includes an IfcBeam with a predefined type ‘Beam’ and IfcBeamType with Predefinedtype ‘Beam’ also.

It is my understanding the IfcBeam PredefinedType shall only be used, if no IfcBeamType is assigned, providing it has its own IfcBeamType.PredefinedType.

I’m trying to write an IDS to evidence the Ifc is incorrect. Is it user error on my part or simply not possible?

(Source: 6.1.3.1 IfcBeam - IFC 4.3.2 Documentation)

Thanks.