¿Cómo se definen los valores de los miembros?

Cuando el miembro es una variable o una proposición, se tendrá que especificar el número de la estructura a la cual se hace referencia.
Si se trata de una constante, se tendrá que especificar el valor.
La Figura muestra un ejemplo de estas dos opciones.


Para la fórmula, se usará una expresión válida para el lenguaje HAries, presentada en la variable numérica fórmula. Se puede definir directamente o a partir de un archivo con extensión fml, obtenido a partir del buscador definido para tal efecto.