Re: Организационные нормы
Я, вроде, уже писал, что в организационных нормах не рекомендуют использовать конструкцию "если -- то". Так что вы все время приводите какие-то странные примеры. Но и табличная форма записи не является самой адекватной (хотя в пределе любые такие нормы записываются как "тройки" роль1-отношение-роль2). Противоречия (верификация) должна находить система, и показывать их пользователю. Пользователь должен находить противоречия с жизнью (валидизация).