prueba de la evaluacion dinamica de los predicados, diseño incompleto
reconocimiento del error de aridad dentro de la estructura logica, modificaciones dentro de los evaluadores del modelado