On Fri, Jul 16, 2004 at 11:18:36AM +0200, Jan Algermissen wrote: > A question: can a member be an element in several assertions or only in one? A member is a tuple <r, p>. Nothing can stop it to appear several times somewhere. Members themselves have no identity. Assertions can have one. \rho