Contract translation rules