BATS:MIRA Imagen del gráfico de ideas de AxiomEx