Interface AxiomNamedDefinition