what are the names of buildings with 10 floors?
(AND architecture.building (JOIN architecture.building.floors 10^^http://www.w3.org/2001/XMLSchema#integer))