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".


Reply via email to