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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.224.185.201 with SMTP id cp9mr1998977qab.6.1363276296433;
        Thu, 14 Mar 2013 08:51:36 -0700 (PDT)
X-Received: by 10.49.58.167 with SMTP id s7mr261143qeq.5.1363276296418; Thu,
 14 Mar 2013 08:51:36 -0700 (PDT)
Path: 
 k8ni303qas.0!nntp.google.com!t2no2759968qal.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 14 Mar 2013 08:51:36 -0700 (PDT)
In-Reply-To: <5141e54e$0$6628$9b4e6d93@newsspool2.arcor-online.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=149.32.224.34;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.34
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <wccfw017lkv.fsf@shell01.TheWorld.com>
 <b9c8e444-4fcc-489f-8101-0a2873807987@googlegroups.com>
 <mtz6eyrgv524.r2yf3jw9vid3$.dlg@40tude.net>
 <wccmwu8r0xh.fsf@shell01.TheWorld.com>
 <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net>
 <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net>
 <b3jec1s37hwu$.bg5cvsul0r5$.dlg@40tude.net>
 <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net>
 <aufd7vornmrk.2dxqrc3egrtg$.dlg@40tude.net> <khphpb$5f1$1@dont-email.me>
 <w46epyd1vjc2.1e1bviaog2kwi$.dlg@40tude.net>
 <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net>
 <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net>
 <vxjicagtvzjg.1bcu3fzy711ux$.dlg@40tude.net>
 <5140f1ad$0$6634$9b4e6d93@newsspool2.arcor-online.net>
 <7jct0noryc1v.1rnj5kkzx6m35.dlg@40tude.net>
 <5141c499$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net>
 <5141e54e$0$6628$9b4e6d93@newsspool2.arcor-online.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8cbc5f07-4fab-424e-b7c6-9b0682c2d7ac@googlegroups.com>
Subject: Re: Is this expected behavior or not
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Thu, 14 Mar 2013 15:51:36 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2013-03-14T08:51:36-07:00
List-Id: <comp.lang.ada>

On Thursday, March 14, 2013 7:57:18 AM UTC-7, Georg Bauhaus wrote:
> On 14.03.13 15:26, Dmitry A. Kazakov wrote: 
> Dynamic predicates will be seen, felt and used 
> as abstract data types Well put, and this can put an end to a discussion based on nothing but a lexical ambiguity of "type".

I am hesitate to chime in since the discussion was way over my head. Back to my original question, I have found another way to accomplish my task. Thank you all for your input.