Cuando se define la estructura de un módulo mediante una base de reglas ModuleStructure es:
donde cada regla se expresa como: