diff --git a/spec.html b/spec.html
index f8bb63237dd..f44e0d9ec49 100644
--- a/spec.html
+++ b/spec.html
@@ -30938,13 +30938,10 @@ <h2>Patterns</h2>
           Alternative[?U, ?N] Term[?U, ?N]
 
         Term[U, N] ::!
-          [+U] Assertion[+U, ?N]
-          [+U] Atom[+U, ?N]
-          [+U] Atom[+U, ?N] Quantifier
           [~U] QuantifiableAssertion[~U, ?N] Quantifier
-          [~U] Assertion[~U, ?N]
-          [~U] Atom[~U, ?N] Quantifier
-          [~U] Atom[~U, ?N]
+          Assertion[?U, ?N]
+          Atom[?U, ?N] Quantifier
+          Atom[?U, ?N]
 
         Assertion[U, N] ::
           `^`