Editorial: Simplify the 'Term' production

... by merging three pairs of RHSs. (Preserves the order of alternatives under [~U], but not under [+U], but that's okay, because the [+U] sides aren't order-disambiguated.)
jmdyck · Jul 18, 2021 · 3ea7318 · 3ea7318
1 parent 893eae2
commit 3ea7318
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/spec.html b/spec.html
@@ -33003,13 +33003,10 @@ <h2>Patterns</h2>
           Alternative[?U, ?N] Term[?U, ?N]
 
         Term[U, N] ::!
-          [+U] Assertion[+U, ?N]
-          [+U] Atom[+U, ?N] Quantifier
-          [+U] Atom[+U, ?N]
           [~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] ::
           `^`