AX Semantics