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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9983e856ed268154
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.74.40 with SMTP id q8mr340439pav.19.1345743253208;
        Thu, 23 Aug 2012 10:34:13 -0700 (PDT)
Received: by 10.180.95.2 with SMTP id dg2mr437284wib.2.1345743252791;
        Thu, 23 Aug 2012 10:34:12 -0700 (PDT)
Path: 
 a5ni3071pbv.0!nntp.google.com!news1.google.com!yt1no42378667wib.1!news-out.google.com!q11ni278632513wiw.1!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 23 Aug 2012 19:33:38 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:14.0) Gecko/20120713 Thunderbird/14.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Should Inline be private in the private part of a package spec?
References: <501bd285$0$6564$9b4e6d93@newsspool4.arcor-online.net>
 <503375ac$0$6565$9b4e6d93@newsspool3.arcor-online.net>
 <1vglgit7vnu4l$.2ytljabrhk2.dlg@40tude.net>
 <5033986c$0$6573$9b4e6d93@newsspool3.arcor-online.net>
 <62h5nifarvom.1myeqdyevhefq.dlg@40tude.net>
 <5033b4d8$0$6571$9b4e6d93@newsspool3.arcor-online.net>
 <gpcuiu6p58gd$.118wuad9bdmvo$.dlg@40tude.net>
 <5033ff28$0$6185$ba4acef3@reader.news.orange.fr>
 <k7637a11gmnm$.1lv7ly66jmka8$.dlg@40tude.net>
 <5034dac1$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <gqe8rxff4blh$.118of9mfkr6y8.dlg@40tude.net>
 <50350d35$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <1xdzh15anpuc0.1xw8mwmojasjk$.dlg@40tude.net>
 <50354c95$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1sfidfvz480e7$.l49woc2l4lji.dlg@40tude.net>
 <5035f059$0$6580$9b4e6d93@newsspool3.arcor-online.net>
 <1i9sfhbz3harl$.1ihaky0f5ne8d$.dlg@40tude.net>
 <50361675$0$6582$9b4e6d93@newsspool3.arcor-online.net>
 <2omplyu8cx1r.13nhwx98p8rdy.dlg@40tude.net>
In-Reply-To: <2omplyu8cx1r.13nhwx98p8rdy.dlg@40tude.net>
Message-ID: <50366968$0$6572$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 23 Aug 2012 19:33:28 CEST
NNTP-Posting-Host: 671b6b47.newsspool3.arcor-online.net
X-Trace: 
 DXC=:U[?h3njf0<NTD<CL>55K=McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;Of:2gZO=N1?nc\616M64>:Lh>_cHTX3j=`QId8]8D`]7
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-08-23T19:33:28+02:00
List-Id: <comp.lang.ada>

On 23.08.12 14:33, Dmitry A. Kazakov wrote:
> On Thu, 23 Aug 2012 13:39:32 +0200, Georg Bauhaus wrote:
> 
>> On 23.08.12 12:13, Dmitry A. Kazakov wrote:
>>> Ada is not proposed for exchanging structured data.
>>
>> XML is proposed for exchanging data between unknown endpoints,
> 
> not (X in A) |=
> not (X in (A and B))

I think you are missing the motive part of the argument
and its restriction to syntax.