diff --git a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
index 15aa752..26f0a50 100644
--- a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
+++ b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
@@ -237,9 +237,10 @@ void eliminateForAll(ast::Precondition &precondition)
 	const auto handleForAll =
 		[&](ast::ForAllPointer<ast::Precondition> &forAll)
 		{
+			eliminateForAll(forAll->argument);
+
 			auto negatedArgument = std::make_unique<ast::Not<ast::Precondition>>(std::move(forAll->argument));
 			auto exists = std::make_unique<ast::Exists<ast::Precondition>>(std::move(forAll->parameters), std::move(negatedArgument));
-
 			precondition = std::make_unique<ast::Not<ast::Precondition>>(std::move(exists));
 		};