|
parid0213
| Tue, 25 Feb 2003 17:04:28
The role types that participate in any given assertion instance
must always constitute a set, i.e., within any single assertion, no two
role types can be the same. Each role type has a maximum of one role player.
(strike)
covered in rules for assertions (parid9005). Should be role has only one role
player. Class characteristics should be asserted about the role by a
separate assertion.
|