problema 33 ..........ya saben porque

1er post(eze)

33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{
requiere archivos(r)!=[ ];
asegura Incluido(result,archivos(r));
asegura Mayor(SumaBin(listas(r),result),[SumaBin(x,listas(r)) | x ←archivos(r)]);
}

2do post (mariano)

33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{
requiere archivos(r)!=[ ];// ARCHIVOS DE R DEVUELVE UN TIPO SA , no devuelve lista.
asegura Incluido(result,archivos(r));
asegura Mayor(SumaBin(listas(r),result),[SumaBin(x,listas(r)) | x ?archivos(r)]);// que carajo es sumabin? jejejjejeje.leelo entero el 6 (sigue del otro lado)
}


3er post (eze)

33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{
requiere temas(archivos(r))!=[ ];
asegura pertenece(result,temas(archivos(r)));
asegura Mayor(CuantasListas(result),[CuantasListas(t)| t ←temas(archivos((r))]);
}

aux CuantasListas(t:Tema) Z=result = =|etiquetas(t)|; 
aux Mayor(a: Z ,b:[Z]) Bool = result = = (¥ x←b)a>=x;