The policy of rational belief revision is encoded in the so-called AGM revision functions. Such functions are characterized (both axiomatically and constructively) within the well-known AGM paradigm, proposed by Alchourrón, Gärdenfors and Makinson. In this article, we show that — although not in a straightforward way — a sufficient extension of the underlying language allows for the modelling of any AGM revision function (defined at the initial language), by means of a Hamming-based rule for belief revision introduced by Dalal (defined at the extended language). The established results enrich the applicability of Dalal’s proposal, leading to a conceptual and ontological reduction, as well as open new doors for the construction of any type of revision function in a practical context, given the intuitive appeal and simplicity of Dalal’s construction.