А с чего тогда взяли, что цитируете стандарт?
http://i.imgur.com/jUG7VHv.png
Где Вам приходилось использовать присвоение ::=
Это не присвоение. Это знак определения в форме Бэкуса-Наура. И процитированный кусок — не ST-код, а выдержка из формального описания синтаксиса языка ST вообще.
я разве про tod#xx:xx выложил код, t# - работает?
Я про то, что по стандарту t#20:12 быть не может в отличие от NOT перед обратным присвоением. Короче, то, что не поддерживается t#20:12 — правильно, а что не поддерживается NOT Q => boolVar — неправильно.