"Manuel Serrano" <Manuel.Serrano at sophia.inria.fr> writes: >> If you mean that a condition type should correspond to a record type, > Yes. That's exactly what I meant. I see---could you provide a rationale? -- Cheers =8-} Mike Friede, V?lkerverst?ndigung und ?berhaupt blabla