leisure=entertainment_complex_and_restaurant ?

can these be mapped as two separate ways? or maybe a restaurant node inside a "entertainment_complex" (which isn't standard tagging)

https://www.openstreetmap.org/way/314805810