reformatted ClifLemmaSet