CONTEXT
  SystemCtx
CONSTANTS
  S
AXIOMS
  axm1: S = (RReal*RReal)
END