updated axioms and lemmatization dict