; Dado un ambiente como el del ejemplo a continuacin (donde el primer elemento es un numero 
; entero y el segundo una lista de listas de nmeros enteros), devolver todas aquellas listas 
; de nmeros contenidas en la lista, donde la sumatoria de sus elementos sea menor o igual al
; primer elemento del ambiente.

def mayor = (> o [/ + o 2#, 1#] -> ~<>; 2#)
def appendlnovacios = (null o 1# -> id o 2#; appendl)
def elimvacios = / appendlnovacios o appendr o [id, ~<>]
def f = elimvacios o alpha (mayor) o distl

f : <15 <<1 12 3> <7 5 6> <5 5 6> <15 10 99>>>