Interface AxiomStructured