Implement partial search in lemmas and definitions