> MutEx(Courage,Cowardice,...) // definitions
> MutEx(Self-preservation,...)
> MutEx(Martyrdom,...)
>
> "Self-preservation attacks Cowardice"
> Arg1AttacksArg2(Self-preservation,Cowardice)
>
> "Courage can use Self-preservation"
> Arg1UsableByArg2(Self-preservation,Courage)
>
> "Martyrdom attacks Self-preservation"
> Arg1AttacksArg2(Martyrdom,Self-preservation)
>
> I do not have to specify the attacks relation between Courage and
> Cowardice now, because they are in the same MutEx declaration.
I see the source of confussion now. My Attacks() is equivlent to
MutEx(), not your Attacks().
I hope you get a chance to look at my Cohesive Math page
one day. I could use feedback from an intelligent, skeptical
mind like yours.
-- David Leeper Homo Deus http://home1.gte.net/dleeper/index.htm