Work towards lemma search