モデル Isabelle クリップ (0)