Translation Of Assertions Contained In Different Languages