diff --git a/include/plasp/pddl/expressions/Quantified.h b/include/plasp/pddl/expressions/Quantified.h
index e7a1701..abf9a71 100644
--- a/include/plasp/pddl/expressions/Quantified.h
+++ b/include/plasp/pddl/expressions/Quantified.h
@@ -149,8 +149,6 @@ inline ExpressionPointer Quantified<Derived>::simplified()
 
 	auto &quantifiedExpression = dynamic_cast<Derived &>(*m_argument);
 
-	BOOST_ASSERT(!quantifiedExpression.arguments().empty());
-
 	// Unify variables
 	m_variables.insert(m_variables.end(), quantifiedExpression.variables().begin(), quantifiedExpression.variables().end());