% all_under(N, L)
    % True if every member of L is less than N
    %
:- pred all_under(int::in, list(int)::in) is semidet.
all_under(Limit, L) :-
    all [N] (member(N, L) => N < Limit).