Translation Of Type Of Assumptions In Different Languages