declare fun {GreaterThanN Ls N} for E in Ls collect: Res do if E > N then {Res E} end end end {Browse {GreaterThanN [1 2 3 4 4 56 7 89 9 2 77] 3}}