Changes between Version 3 and Version 4 of CurrentlyProposedLanguage

Timestamp:

Nov 4, 2010 4:12:27 PM (13 years ago)

Author:

sunshine

Comment:

--

CurrentlyProposedLanguage

@@ -34 +34 @@
 = Existential, cardinality and modal operators =
 We want to be able to denote how many objects or events of a given type must/may occur.
-Meaning Operator and example
-||Every object A                     || each A     ||
-||Some objects A                     || some A     ||
-||Some object A called a1            || some A a1  ||
-||A must occur                       || A          ||
-||A may occur                        || [A]        ||
-||Exactly N objects/events of type A || |A|,,N,,   ||
-||At least N objects/events of type A|| |A|,,>=N,, ||
-||At most N objects/events of type A || |A|,,<=N,, || 
+||Meaning                            || Operator and example ||
+||Every object A                     || each A               ||
+||Some objects A                     || some A               ||
+||Some object A called a1            || some A a1            ||
+||A must occur                       || A                    ||
+||A may occur                        || [A]                  ||
+||Exactly N objects/events of type A || |A|,,N,,             ||
+||At least N objects/events of type A|| |A|,,>=N,,           ||
+||At most N objects/events of type A || |A|,,<=N,,           ||