CONTEXT
  GenericCtx
SETS
  STATES
CONSTANTS
  S
AXIOMS
  axm1: S = RReal*RReal
END