From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7332b19c66a79eea
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.71.MISMATCH!xlned.com!feeder3.xlned.com!feeder.erje.net!newsfeed.straub-nv.de!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Quantified Expressions: "some"
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <4ce31bb6$0$7670$9b4e6d93@newsspool1.arcor-online.net>
 <2d44ff4d-b3ad-4593-8492-4d16fb6b6a2e@j2g2000yqf.googlegroups.com>
Date: Wed, 17 Nov 2010 11:46:04 +0100
Message-ID: <1t7pvrh3i022d.8t9yqjonagar$.dlg@40tude.net>
NNTP-Posting-Date: 17 Nov 2010 11:46:06 CET
NNTP-Posting-Host: e8e67ff9.newsspool2.arcor-online.net
X-Trace: 
 DXC=WAQVEUCleSXmG86`U=_nC_A9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[BI5eS1fH4QX[6LHn;2LCV^7enW;^6ZC`T\`mfM[68DCS=ZIHUi5ei;S
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:16510
Date: 2010-11-17T11:46:06+01:00
List-Id: <comp.lang.ada>

On Tue, 16 Nov 2010 22:31:50 -0800 (PST), AdaMagica wrote:

> On 17 Nov., 01:03, Georg Bauhaus <rm-host.bauh...@maps.futureapps.de>
> wrote:
>> � (for all  X in domain | P (X))
>> � (for some X in domain | P (X))
> These are the Ada expressions for the mathematical "all" and
> "existence" quantifiers and read quite naturally.
> 
> Draft 10 of RM 2010 defines some as a new reserved word.
> 
>> � (for when X in domain | P (X))
> 
> This is silly English, and when I try to make sense of it, I arrive at
> the all quantifier. So I think, just for avoiding a new reserved word,
> this is a very bad proposal.

It is also a silly Ada policy to make words reserved where the syntax does
not require that. Many Ada reserved words need not and should not be
reserved.

"for some" looks awful, why not "exists" or U+2203, since we are Unicode
now? (:-))

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de