program anycond (input,output);
    DATABASE PERS = FILENAME 'PERSONNEL';

    who : boolean;

    begin
    READY PERS;
    START_TRANSACTION READ_WRITE;

    GET
     who = ANY SH IN SALARY_HISTORY WITH SH.SALARY_AMOUNT > 50000.00
    END_GET;

    COMMIT;

    if (who) then
       writeln ('Someone is not underpaid.');

    FINISH;
    end.