  A method to find the symmetries of a theory in the first order formalism of
gravity is presented. This method is applied to the minimal gravity sector of
the Standard Model Extension. It is argued that no inconsistencies arise when
Lorentz violation is explicit and the relation between Lorentz violation and
invariance under (active) diffeomorphisms is clearly exposed.
