Oración 1: para el interpretador Maude, aunque los módulos funcionales representan teorı́as ecuacionales donde la evaluación de un término consiste en aplicar los axiomas necesarios hasta reducirlo a su mı́nima expresión, estos módulos son tra- tados como si las ecuaciones representaran asignaciones
Oración 2: : el interpretador añade direccionalidad a las ecuaciones haciendo una traducción de las ecuaciones existentes en los módulos funcionales a reglas
Conector: en otras palabras
Relación: entailment
Género: theses