LOCAL Rat.

ThFl(x, y ) <- y = x * 1/3.