> у меня получается просто. Пока что :)

Понятно. Спасибо.

У меня чуть другая задача для правил: есть множество, есть простые операции над элементами множества. С одной стороны, нужна ссылочная целостность, с другой - явное описание операций (ограничений на сложность нет, любое сочетание операций, группировка, любое количество элементов).

> надо нумервать документы

Понятно. Т. е. правила скорее в традиционном понимании. ;)

Свою задачу я решил в лоб: триплеты + группировка, но, блин, не люблю я такие решения. Громоздко и не эффективно. Можно сделать эффективнее, но еще более громоздко. Или менее громоздко, но более геморройно. ;) В общем, альтернативы не нравятся.

> правила ограничены логическими операциями ?

Да.

Сахават, там все просто. Есть множество. Есть ограничение, идентифицируемое как набор операций над элементами множества. Это ограничение можно ставить в соответствие еще чему-нибудь. Ну, если грубо, то представьте каталог и набор символов, соответствующий либо ограничению, либо теме каталога (некоторым темам не соответствует ничто). Вы получили произвольный набор символов и хотите его классифицировать. Физический смысл у задачи другой, но аналогия близка.

> типа regex что то?

Регулярное выражение я бы просто хранил в строке и не парился. :) Нет, правила проще, но есть ссылочная целостность. Да не важно, проблема не стоит времени, потраченного на ее обсуждение. ;) Мне решение с точки зрения эстетики не понравилось. Ну, некрасиво просто. Тупо. В лоб. Хотелось изящного. ;)