Zefram wrote:
proto-proposal: clarify Mother, May I?
* <x> CAN <y>: it is POSSIBLE for <x> to <y>. * <x> CANNOT <y>: it is IMPOSSIBLE for <x> to <y>.
This eliminates "<x> CAN <y> only if <z>" as a synonym for "<x> CANNOT <y> if not <z>". Similarly for the other cases. In particular, we might want to amend Rule 101 to say "an entity CAN perform a regulated action only if the rules explicitly allow it".