HOMELv010 「車」ブロックのBDDで「タイヤ」パートの多重度を「4」としたとき、車1台につきタイヤは何個か。 2026年3月17日 多重度が固定値「4」の場合、インスタンスは常に4個生成される。 要求の「検証（verify）」に使用されるモデル要素として不適切なものはどれか。 モデル要素が異なる抽象度で同じ概念を表していることを示すための汎用的な関係はどれか。
