CONTEXT
  GenericCtx
CONSTANTS
  S
  STATES
AXIOMS
  axm1: S = RReal
  axm2: STATES = { Normal, Emptying, Filling, Stable }
END