Interface AxiomPath.Variable