hugo:
Imports:
union

Parameters:

Body:
sorts
  m;
  s;
  m,s < t;
  t < u

Axioms: