Some more IFC4 code