ax-semantics