better spec for argmax inference annotation