-
Key: KERML-105
-
Status: open
-
Source: Self ( Jim Ciarcia)
-
Summary:
Last Paragraph
"For example, if Car requires all instances to be four-wheeled (necessary), and then is also is indicated as sufficient, its extent will include all four wheeled things and no others.""then is also is indicated" is not proper English.
Should probably be:
"For example, if Car requires all instances to be four-wheeled (necessary), and is also indicated as sufficient, its extent will include all four wheeled things and no others."Example also does not do a good job of showing how the "all" on Cars enforces sufficiency. But the whole necessary/sufficient semantics is another Issue
KERML-9 -
Reported: KerML 1.0b1 — Sun, 9 Jul 2023 21:48 GMT
-
Updated: Mon, 8 Apr 2024 21:42 GMT
KERML — Car necessary and sufficiency example
- Key: KERML-105
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF