EXPORT Intensional.

IMPORT Sets.

IMPORT Integers.

IMPORT Floats.

PREDICATE Sum : Set(Integer) * Integer.

PREDICATE Sum1 : Set(Integer) * Integer * Integer.

PREDICATE Max : Set(Integer) * Integer.

PREDICATE Max1 : Set(Integer) * Integer * Integer.

PREDICATE TwiceFloat : Float * Float.