Interface AxiomPath


public interface AxiomPath