基本的にプチコン3号においてNEXTのように命令の後に変数名が省略できるもの引数が省略できる命令において省略をした場合はコロンが省略できません。 これは、MIKIさんが書かれているように変数名を見るためだと思います。 プチコン3号では意図的にコロンを可能な限り省略可能にする仕様にしています。