expandedAxiom get