說明部分

對於斷定的指令，“說明”部分假設限定謂詞為真（除限定謂詞為假時修改體系結構狀態的指令）。限定謂詞的測試包含在“操作”部分（如果適用）。