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 · Jan 7, 2020 · 10212f6 · 10212f6
1 parent ec2f4be
commit 10212f6
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/spec.html b/spec.html
@@ -30923,13 +30923,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] ::
           `^`