I am looking for documentation about the different Enumerations and Psets for IfcBuildingElementProxy for IFC2X3. I've used ProvisionForVoid, and heard about Clearance, ProvisionForSpace, but I can't find any documentation about their Psets for IFC2X3 schema. IFC4 has lots of documentation, but IfcBuildingElementProxy is deprecated and replaced for IfcVirtualElement.