Без заголовка

У тебя нет никакого намека, как это все реализовать. Я же прямым текстом говорю, какие тут могут быть механизмы. Весь вопрос: смогут ли люди пользоваться всей этой тяжелой артиллерией?! Удастся ли "ненавязчиво" предложить естественные формы выражения всех этих логик достаточности (причин и следствий, if ... then ... because...) и необходимости (in order to ...., we must... because...)? Ибо сегодняшние люди в греко-латинских академиях не занимались, к логике не приучены -- и мы можем хотеть от них невозможного... Но ты прав, время от времени придется возвращаться к клиентским хотелкам и "сверять часы" :)))