Список проголосовавших за комментарий "Foudroyant, все шикарно получается<br/> <br/> Проблема в том, что найденная мною закономерность очень нетривиально реализуется. Ну т.е. математически (и логически, и на глаз), она проста и понятна, но ее имплементация в систему аксиом EWT приводит к необходимости писать сложные, разветвленные программы (a la Prolog).<br/> <br/> Вручную все очень неплохо. Я полуавтоматически изготовил больше 30,000 разметок — все Ок. Но для индустриального подхода это мало, конечно.<br/> <br/> С уважением"