状態遷移が発生する際に、その遷移を許可するかどうかを判定する論理式はどれか。

以前に定義した別の相互作用図を、現在のシーケンス図内で再利用するための枠はどれか。