KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Car necessary and sufficiency example

  • 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