unabbreviate

verb1

1. •
   To make unabbreviated, to expand something which was abbreviated.

   • It is easy to see what is going on, if in G & ∀x∃yP(x, y) we not only unabbreviate G, but take the outer conjunctions apart, […] — 1967