Translation Of Precondition For The Application In Different Languages