SimpleWrap                                                                                                                 
│  provides   composition   Fin {fleet_0_2,fleet_0_3,fleet_1_1,fleet_1_2, …} │ requires   number_t1   SB({0, 1, 2, 3}) car 
│                                                                            │ requires   number_t2   SB({0, 1, 2, 3}) car 
└ DP_Catalog Fin {fleet_0_2,fleet_0_3,fleet_1_1,  ⇸  WU ⟨car,car⟩                                                          
                  fleet_1_2, …}                      └ Π<2>                Showing first 5 of 7                            
                                                       ├ SB({0, 1, 2, 3})  fleet_1_1  ↤  modelsub1  ↦  ⟨1 car,1 car⟩       
                                                       └ SB({0, 1, 2, 3})  fleet_2_0  ↤  modelsub2  ↦  ⟨2 car,0 car⟩       
   catalogue(𝒇, 𝒓)                                                         fleet_0_2  ↤  modelsub3  ↦  ⟨0 car,2 car⟩       
                                                                           fleet_2_1  ↤  modelsub4  ↦  ⟨2 car,1 car⟩       
                                                                           fleet_1_2  ↤  modelsub5  ↦  ⟨1 car,2 car⟩