Translator utilities including Schoenfinkel LC to CL translation