parid0180 | Tue, 25 Feb 2003 17:04:28
In every assertion, there must be at least two role types, and therefore there must be at least two casting nodes.
(strike)
see Rules for Assertions (parid9005)
—pdurusau@emory.edu