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: a07f3367d7,44b0b57dd5d8f69
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.236.115.226 with SMTP id e62mr10885462yhh.34.1344998912327;
        Tue, 14 Aug 2012 19:48:32 -0700 (PDT)
MIME-Version: 1.0
Path: 
 c6ni115604019qas.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nrc-news.nrc.ca!goblin1!goblin2!goblin.stu.neva.ru!newsfeed.x-privat.org!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: List of Negative Language rules?
Date: Thu, 9 Aug 2012 16:24:22 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <k019qa$j0p$1@munin.nbi.dk>
References: <e6963165-d99c-4b35-be88-b9f7aa8d5f4a@googlegroups.com>
 <p6ft18dvj55o0h1j3af7ic08f2omoc1j20@invalid.netcom.com>
 <a87vkfFb7rU1@mid.individual.net>
 <5b1caa0f-464a-4ff9-881e-202e4766f0df@googlegroups.com>
 <op.wilemnk8ka8ora@aspire.local>
 <1949c50a-553a-4d40-92f0-9a5c0663cd55@googlegroups.com>
 <jvnbro$qka$1@munin.nbi.dk>
 <1a891f78-a75c-4597-9793-1296e693e07d@googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1344547466 19481 69.95.181.76 (9 Aug 2012 21:24:26 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 9 Aug 2012 21:24:26 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-08-09T16:24:22-05:00
List-Id: <comp.lang.ada>

"Patrick" <patrick@spellingbeewinnars.org> wrote in message 
news:1a891f78-a75c-4597-9793-1296e693e07d@googlegroups.com...
>Thanks Randy
>
>Yes, "shall not" added another 1000 lines to my file(it's 4K lines). Right 
>now I am
> rereading Barnes and high-lighting what appear to be legality rules(Thanks 
> for the term).
> Once I am done, I'll see if it's sensible to look through my grep created 
> document, it
> worries me that you don't think it will be fruitful. I do trust your 
> intelligence

If you just want to find all of the Legality Rules in the Standard, just 
take every sentence of every paragraph under the heading "Legality Rules" in 
every clause of the Standard. You can then toss out the ones obviously not a 
rule (like some definitions). That's essentially what I was doing with the 
test objective documents; it took a lot of hours to build the handful I 
finished. (Of course, I was also tracking dynamic rules as well, and even 
bigger job.)

                                                   Randy.