default lemma value fixed