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
).
—
pdurusau@emory.edu