1) instead of just writing "IfcSlab", it would be excellent if the Verify -module and the IDS export could take into account listings written in the form of "IfcSlab,IfcWall" 2) to be able to restrict applicability, it could be interesting to precise the predefined type in the same form than used by IFC documentation, e.g. "IfcSlab/BASESLAB" in a workable way for Verify + IDS So by extension, you could define the entity for properties from Pset_SlabTypeTrackSlab ( https://standards.buildingsmart.org/IFC/RELEASE/IFC4_3_0_0/lexical/Pset_SlabTypeTrackSlab.htm ) to be = "IfcSlab/TRACKSLAB,IfcSlabType/TRACKSLAB"