「プリファレンス」メニュー、「仮定の定義」ダイアログ・ボックス