Adjusted text and format of not forall note

rgdoliveira · Jul 24, 2024 · 1662bfb · 1662bfb
1 parent 5af392c
commit 1662bfb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/...les/ROOT/pages/language-reference-traditional/_drl-rules-WHEN-elements-ref.adoc b/...les/ROOT/pages/language-reference-traditional/_drl-rules-WHEN-elements-ref.adoc
@@ -212,7 +212,8 @@ rule "Not all employees have health and dental care"
 end
 ----
 
-NOTE: The format `forall( p1 p2 p3 ...)` is equivalent to `not( p1 and not( and p2 p3 ... ) )`.
+NOTE: The format `not( forall( p1 p2 p3 ...))` is +
+equivalent to `not( p1 and not( and p2 p3 ...))`.
 
 --
 

diff --git a/drools-docs/src/modules/ROOT/pages/language-reference/_drl-rules.adoc b/drools-docs/src/modules/ROOT/pages/language-reference/_drl-rules.adoc
@@ -2113,7 +2113,8 @@ rule "Not all employees have health and dental care"
 end
 ----
 
-NOTE: The format `forall( p1 p2 p3 ...)` is equivalent to `not( p1 and not( and p2 p3 ... ) )`.
+NOTE: The format `not( forall( p1 p2 p3 ...))` is +
+equivalent to `not( p1 and not( and p2 p3 ...))`.
 
 --
-Original file line number
+Diff line change
@@ Expand Up / @@ -212,7 +212,8 @@ rule "Not all employees have health and dental care" @@
     end
     ----
-    NOTE: The format `forall( p1 p2 p3 ...)` is equivalent to `not( p1 and not( and p2 p3 ... ) )`.
+    NOTE: The format `not( forall( p1 p2 p3 ...))` is +
+    equivalent to `not( p1 and not( and p2 p3 ...))`.
     --
@@ Expand Down @@