Formalmente, cualquiera de las reglas tendrá la estructura: