|
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. |