Coordinates of the IfcLocalPlacement/IfcCartesianPoint

I think we can find the best answer in CityGML schema or maybe in the recent Infra schema