Спасибо — вы нашли настоящую ошибку, и она оказалась крупнее, чем выглядела!
Сразу главное: учебник прав, точки с запятой ни при чём, и примечание к нему не нужно. Классический КуМир 2.1.0 спокойно принимает обе записи — и однострочную, и многострочную; однострочные примеры с точками с запятой лежат в его собственных учебных курсах. Ошибку выдавал наш онлайн-тренажёр: он работает не на классической системе, а на компиляторе qumir — независимой современной реализации того же языка. В нём и нашлись два дефекта.
Первый мы без вас, похоже, ещё долго не увидели бы. Оказалось, что ветвление без «иначе», у которого в ветви «то» стоят команды исполнителя, не компилировалось вообще — ни в строку, ни в столбик:
если справа свободно то
вправо
все
То есть самая ходовая конструкция школьного курса. Причина техническая: команды Робота, Черепахи и Чертёжника выполняются с паузой — иначе не было бы видно, как исполнитель ходит, — а проверка типов принимала эту паузу за «ветвь возвращает значение» и требовала «иначе».
Второй — ровно ваш случай: если a > 0 то вывод "да" все в одну строку. Список аргументов у «вывод» не заканчивался на слове «все». В оригинале он заканчивается на «;», «иначе», «кц», «при» и «все» — привели в соответствие.
Обе правки уже в компиляторе и выкачены. Заодно в библиотеку вернулись пять примеров, которые не запускались по той же причине: закраска области у Робота и четыре фрактала Черепахи. Если попадётся ещё что-то, что в настольном КуМире работает, а у нас нет, — пишите, такие письма самые полезные.
P.S.: Отправим этот кейс разработчику qumir.