אנגלית ⇄ רוסית +

class-wide postcondition מתח
.תִכנו	постусловие надклассового типа (корпорации AdaCore Alex_Odeychuk)