((NOT ("floors" < 5)) OR ("swimming_pool" = true))
