Interface AxiomNameResolver