EXPORT Rat.

IMPORT Strings.

IMPORT Rationals.

PREDICATE ThFl : Rational * Rational.