「要求Aが満たされるためには要求Bが必要である」という論理的なつながりを示す関係はどれか。

traceは、具体的なセマンティクスを持たない、要素間の汎用的な追跡可能性を示します。