which building has a floor space of 8500.0?
(AND architecture.building (JOIN architecture.building.floor_space_square_meters 8500.0^^http://www.w3.org/2001/XMLSchema#float))