IfcProxy

[aothms]

--- tmp/a/IFC.exp   2022-02-06 16:42:26.083245800 +0100
+++ tmp/b/IFC.exp   2022-07-09 16:01:21.062928800 +0200
@@ -8937,21 +8937,20 @@
    OperatesOn : SET [0:?] OF IfcRelAssignsToProcess FOR RelatingProcess;
 END_ENTITY;

 ENTITY IfcProduct
  ABSTRACT SUPERTYPE OF (ONEOF
    (IfcAnnotation
    ,IfcElement
    ,IfcLinearElement
    ,IfcPort
    ,IfcPositioningElement
-   ,IfcProxy
    ,IfcSpatialElement
    ,IfcStructuralActivity
    ,IfcStructuralItem))
  SUBTYPE OF (IfcObject);
    ObjectPlacement : OPTIONAL IfcObjectPlacement;
    Representation : OPTIONAL IfcProductRepresentation;
  INVERSE
    ReferencedBy : SET [0:?] OF IfcRelAssignsToProduct FOR RelatingProduct;
    PositionedRelativeTo : SET [0:?] OF IfcRelPositions FOR RelatedProducts;
    ReferencedInStructures : SET [0:?] OF IfcRelReferencedInSpatialStructure FOR RelatedElements;
@@ -9248,28 +9247,20 @@
 END_ENTITY;

 ENTITY IfcProtectiveDeviceType
  SUBTYPE OF (IfcFlowControllerType);
    PredefinedType : IfcProtectiveDeviceTypeEnum;
  WHERE
    CorrectPredefinedType : (PredefinedType <> IfcProtectiveDeviceTypeEnum.USERDEFINED) OR
 ((PredefinedType = IfcProtectiveDeviceTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcElementType.ElementType));
 END_ENTITY;

-ENTITY IfcProxy
- SUBTYPE OF (IfcProduct);
-   ProxyType : IfcObjectTypeEnum;
-   Tag : OPTIONAL IfcLabel;
- WHERE
-   WR1 : EXISTS(SELF\IfcRoot.Name);
-END_ENTITY;
-
 ENTITY IfcPump
  SUBTYPE OF (IfcFlowMovingDevice);
    PredefinedType : OPTIONAL IfcPumpTypeEnum;
  WHERE
    CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR 
  (PredefinedType <> IfcPumpTypeEnum.USERDEFINED) OR 
  ((PredefinedType = IfcPumpTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
    CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR 
   ('IFC4X3_DEV.IFCPUMPTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
 END_ENTITY;