diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 4933d27..34ffcc8 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -251,7 +251,12 @@ void TranslatorASP::translateAxiomRules() const
 			const auto axiomRuleID = std::to_string(currentAxiomRuleID);
 			currentAxiomRuleID++;
 
-			m_outputStream << std::endl << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << ")." << std::endl;
+			m_outputStream
+				<< std::endl
+				<< utils::Keyword("axiomRule") << "("
+				<< utils::Keyword("axiomRule") << "("
+				<< utils::Number(axiomRuleID)
+				<< "))." << std::endl;
 
 			const auto &conditions = axiomRule.conditions();