でも、シーケンスの実行が出来るということは選択がひとつのトークンで成り立っているという表現もおかしい気がする＞＜