Explanation on tessellated geometry in IFC4