parid0192 | Tue, 25 Feb 2003 17:04:28
Casting nodes (c-nodes; i.e., C endpoints of AC, CR, and Cx arcs)
(strike)
see Rules for Assertions (parid9005)