この図は「アクション・エディタ」ダイアログを示しています。 このダイアログには「フォーム」ドロップダウン・メニューがあり、その値は「Assert New」、「Modify」、「Retract」および「Call」です。値「Assert New」が選択されています。このダイアログの「値」フィールドの値はAssert New OrderApproval(status:?)です。「ファクト」領域の「ファクト」リストには、CustomerOrderおよびOrderApprovalが含まれています。「OrderApproval」ファクトが選択されています。「プロパティ」領域は表形式で、「プロパティ」、「タイプ」、「値」、「パラメータ化」および「定数」の各列で構成されています。 この表は1行で構成されており、「プロパティ」の値はstatus、「タイプ」の値はStatus、「値」の値は空白で、「パラメータ化」および「定数」が選択されています。 「プロパティ」表の下に「常に選択」チェック・ボックスがあり、これは選択されています。