  In 1981, Uchida proved a conditional version of the Hom-form of the
Grothendieck birational anabelian conjecture for number fields. In this paper
we prove an m-step solvable conditional version of the Grothendieck birational
anabelian conjecture for number fields whereby our conditions are slightly
weaker than the ones in Uchida's theorem. Furthermore, as in Uchida's work, we
show that our result is unconditional in the case where the number field
relating to the domain of the given homomorphism is $\mathbb{Q}$
