Re: SUPPORT FOR DECLARATIVE TRANSITION CONSTRAINTS

On Sep 28, 5:29 am, Erwin <e.sm..._at_myonline.be> wrote:
> On 27 sep, 15:14, Brian <br..._at_selzer-software.com> wrote:
>
> > How can you possibly make such a bald assumption?
>
> I was not making any assumption.

Sounds like one to me.

>
> I said this: "it was you defined such propositions as irrelevant when
> you said that no other relvars say anything about employee names".
>
> But of course including that particular piece of text in your answer
> wouldn't make you look good, or sound bite, of course.

I didn't say any such thing, that's why I snipped it. What I said was: "assuming that no other proposition references an employee named paul c or a position named toilet scrubber". I didn't say that no other relvars say anything about employee names. I, for one, can't figure out how you could possibly manipulate what I did say to come up with that. How does "no other proposition references a particular employee" translate into "no other relvar saying anything about employee names?" Received on Tue Sep 28 2010 - 21:02:46 CEST