which opera house has no less than 3 floors?
(AND opera.opera_house (ge architecture.building.floors 3^^http://www.w3.org/2001/XMLSchema#integer))