Equivalencia Semántica, reglas para los subtipos, módulos genéricos y tipos de parámetros (como codice_14)