parid0916 | Tue, 25 Feb 2003 17:04:28
The set of arcs that are members of the set of arcs that specify the assertion must include at least one Cx arc.
(strike)
see Rules for Assertions (parid9005)