Mechanical_productのセットはProduct_connectivityに関するdefined_forを定義する。
7.3.32 Product_participation to Mechanical_product
各々のProduct_participationは一つ以上のMechanical_productのセットを参照する。Mechanical_productのセットはProduct_participationに関するdefined_forを定義する。
7.3.33 Ship to Item
各々のShipはゼロもしくは一つ以上のItemオブジェクトによって定義されたship_itemsを持つ。各々のItemはゼロまたは一つのShipオブジェクトに関するship_contextを定義する。
7.3.34 Shipyard_designation to Organization
各々のShipyard_designationはただ一つのOrganizationによって定義されたshipyardを持つ。各々のOrganizationはゼロもしくは一つ以上のShipyard_designationオブジェクトに関するshipyardを定義する。
アプリケーションアサーションの残りは後日定義される。
