some moreimplementation of clause to term definititon
some moreimplementation of clause to term definititon

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III