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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6327f05d4989a68d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.81.40 with SMTP id w8mr1899574wix.0.1355908952999;
        Wed, 19 Dec 2012 01:22:32 -0800 (PST)
Path: 
 l12ni152293wiv.1!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!217.188.199.168.MISMATCH!takemy.news.telefonica.de!telefonica.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 19 Dec 2012 10:21:51 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Press Release - Ada 2012 Language Standard Approved by ISO
References: <kap6v8$mr7$1@dont-email.me>
 <wcc8v8vti17.fsf@shell01.TheWorld.com>
 <CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
 <7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net>
 <50d18248$0$6571$9b4e6d93@newsspool3.arcor-online.net>
 <rh4bhp73nesz$.ueyxsfi87a6y.dlg@40tude.net>
In-Reply-To: <rh4bhp73nesz$.ueyxsfi87a6y.dlg@40tude.net>
Message-ID: <50d1872e$0$6567$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Dec 2012 10:21:50 CET
NNTP-Posting-Host: 20394c13.newsspool3.arcor-online.net
X-Trace: 
 DXC=T6WGIRTHBiSHigV@eW57PQMcF=Q^Z^V3X4Fo<]lROoRQ8kF<OcfhCO[Nc<S4EZ9<8^PCY\c7>ejVX_\jo[C[7\2PC3OLe`AgcE]
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-12-19T10:21:50+01:00
List-Id: <comp.lang.ada>

On 19.12.12 10:19, Dmitry A. Kazakov wrote:
> It is deeply wrong. A [sub]type should describe some class of entities
> sharing common properties and behavior.

If properties and behavior are functions of physical time,
how does a [sub]type describe the class of corresponding entities?