CONTEXT
  GenericCtx
CONSTANTS
  S
  STATES
AXIOMS
  axm1: S = RReal*RReal
  axm2: STATES = (RReal*RReal)*(RReal*RReal)
END