detailed logging of progress on knowl generalization