Hacia la definición de una representación para líneas de razonamiento.