NameAxiomRuleIterations
Generated value: