ej1

template/templateTP.tex

@@ -35,6 +35,8 @@
 \input{tipos/atleta.tex}
 
 \begin{problema}{especialidad}{a: Atleta}{Deporte}
+	\asegura{result \in deportes(a)}
+	\asegura{capacidad(a,result)==maximoLista(listarCapacidades(a))}
 \end{problema}
 
 \begin{problema}{entrenarNuevoDeporte}{a: Atleta, d: Deporte, c: \ent}{}