Axiomatic information retrieval (IR) seeks a set of principle properties
desirable in IR models. These properties when formally expressed provide
guidance in the search for better relevance estimation functions. Neural
ranking models typically contain a large number of parameters. The