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 |