parid0212 | Tue, 25 Feb 2003 17:04:28
No two c-nodes that participate in the assertion are connected to the same r-node via the CR arcs for which the c-nodes serve as the C endpoints.
(strike)
covered under rules for assertions (parid9005).