制約ブロックにおいて、入出力の関係を定義する数式（式）自体を記述する属性はどれか。

シーケンス図において、ライフライン間で同期メッセージを送信した際の返り値を示す線はどれか。