Cuando se define la estructura de un módulo mediante una base de reglas ModuleStructure es:

donde cada regla se expresa como: