CREATE OR ALTER PROCEDURE test
RETURNS (city VARCHAR(50))
AS
BEGIN
    FOR
        -- Отсюда...
        SELECT city
        FROM univer AS u
        INNER JOIN (
            SELECT
                AVG(obgosbud) AS "c1",
                SUM(obgosbud * 0.5) AS "c2"
            FROM univer
            GROUP BY city
            HAVING AVG(obgosbud) > SUM(obgosbud * 0.5)
        ) AS j ON id = id
        GROUP BY city
        -- Досюда ваш обычный запрос.
        -- Но в Firebird в конце запроса надо указать,
        --   в какую переменную надо вывести результат запроса
        --   обрати внимание, что эта же переменная стоит в RETURNS (стр. 2),
        --   а также количество переменных в INTO должна быть такая же, как
        --   и у внешнего SELECT.
        INTO :city
    DO
    BEGIN
        SUSPEND;
    END
END