Pset_BuildingElementProxyProvisionForVoidDefinition from IAI: Properties common to the definition of a provision for void as a special type of an instance of IfcBuildingElementProxy. A provision for void is a spatial provision that might be resolved into a void in a building element. The properties carry requested values.IfcBuildingElementProxy entity.IFCPRODUCTEXTENSION/IfcBuildingElementProxyIFCPRODUCTEXTENSION/IfcBuildingElementProxyTypeSELF\IfcObject.ObjectType="ProvisionForVoid"ShapeThe shape form of the provision for void, the minimum set of agreed values includes 'Rectangle', 'Round', and 'Undefined'.Property Name in GermanProperty Definition in GermanWidthThe requested width (horizontal extension in elevation) of the provision for void, only provided if the Shape property is set to "rectangle".Property Name in GermanProperty Definition in GermanHeightThe requested height (vertical extension in elevation) of the provision for void", only provided if the Shape property is set to "rectangle".Property Name in GermanProperty Definition in GermanDiameterThe requested diameter (in elevation) of the provision for void, only provided if the Shape property is set to "round".Property Name in GermanProperty Definition in GermanDepthThe requested depth or thickness of the provision for void.Property Name in GermanProperty Definition in GermanSystemhe building service system that requires the provision for voids, e.g. 'Air Conditioning', 'Plumbing', 'Electro', etc.Property Name in GermanProperty Definition in GermanProperty Set Definition in German