ej4

template/templateTP.tex

@@ -76,6 +76,9 @@
 \end{problema}
 
 \begin{problema}{gananLosMasCapaces}{c: Competencia}{\bool}
+	\requiere{finalizada(c)}
+	\asegura{result==(\forall x \leftarrow[0..|ranking(c)|-2])capacidad(ranking(c)[x],deporte) \geq capacidad(ranking(c)[x+1],deporte)}
+	Nota deporte=fem(categoria(c)) ?? no entiendo la letra
 \end{problema}
 
 \begin{problema}{sancionarTramposos}{c: Competencia}{}