Здравствуйте, Лось Чтостряслось, Вы писали:

ЛЧ>не, я пас, продолжайте дискуссию без меня

Жаль. Вы задали очень хороший вопрос. Надеюсь, что и ответ получили.
Просто я немного перестарался и мог напугать вас обилием материала (исследовательского характера).
Простите. Попробуйте посмотреть книгу по Семантической алгебре.
http://files.rsdn.org/125383/SA47.doc