Nonassociative Groebner bases, finitely-presented Lie rings, and the Engel condition II,