permission_error(+Operation,
+PermissionType, +Culprit)It is not allowed to perform Operation on (whatever is
represented by) Culprit that is of the given PermissionType
(in fact, the ISO Standard is confusing and vague about these terms’
meaning).