Formalized generation of so-pmi lists