CompositeNDP                                                                                                      
│    provides   part_length           {∞ mm}   │ requires   electric_power       {0 W}                            
│    provides   part_resolution       {∞ 1/mm} │ requires   time_per_part        {0 s}                            
│    provides   service_temperature   {∞ C}    │ requires   mass                 {0 g}                            
│                                              │ requires   budget_per_part      {0 $}                            
│                                              │ requires   initial_investment   {0 $}                            
│  16 nodes, 8 edges                                                                                              
│   connected rec: ✓                                                                                              
│  electric_power required by _constant      ≤ required electric_power                   equiv (always satisfied) 
│  initial_investment required by _constant1 ≤ required initial_investment               equiv (always satisfied) 
│  time_per_part required by _constant2      ≤ required time_per_part                    equiv (always satisfied) 
│  budget_per_part required by _constant3    ≤ required budget_per_part                  equiv (always satisfied) 
│  mass required by _constant4               ≤ required mass                             equiv (always satisfied) 
│  provided part_length                      ≤ part_length provided by _limit1           equiv (always satisfied) 
│  provided part_resolution                  ≤ part_resolution provided by _limit        equiv (always satisfied) 
│  provided service_temperature              ≤ service_temperature provided by _limit2   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                                          
│             │  - │ requires   electric_power   {0 W}                                                            
│             └ DP_Constant 𝟙  ⇸  {0 W}                                                                           
│                0 W ≤ 𝒓                                                                                          
├ _constant1: SimpleWrap                                                                                          
│             │  - │ requires   initial_investment   {0 $}                                                        
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                                           
│                0 $ ≤ 𝒓                                                                                          
├ _constant2: SimpleWrap                                                                                          
│             │  - │ requires   time_per_part   {0 s}                                                             
│             └ DP_Constant 𝟙  ⇸  {0 s}                                                                           
│                0 s ≤ 𝒓                                                                                          
├ _constant3: SimpleWrap                                                                                          
│             │  - │ requires   budget_per_part   {0 $}                                                           
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                                           
│                0 $ ≤ 𝒓                                                                                          
├ _constant4: SimpleWrap                                                                                          
│             │  - │ requires   mass   {0 g}                                                                      
│             └ DP_Constant 𝟙  ⇸  {0 g}                                                                           
│                0 g ≤ 𝒓                                                                                          
├     _limit: SimpleWrap                                                                                          
│             │  provides   part_resolution   {∞ 1/mm} │ -                                                        
│             └ DP_Limit {∞ 1/mm}  ⇸  𝟙  > NVU:∞ 1/mm                                                             
│                𝒇 ≤ ∞ 1/mm                                                                                       
├    _limit1: SimpleWrap                                                                                          
│             │  provides   part_length   {∞ mm} │ -                                                              
│             └ DP_Limit {∞ mm}  ⇸  𝟙  > NVU:∞ mm                                                                 
│                𝒇 ≤ ∞ mm                                                                                         
└    _limit2: SimpleWrap                                                                                          
              │  provides   service_temperature   {∞ C} │ -                                                       
              └ DP_Limit {∞ C}  ⇸  𝟙  > NVU:∞ C                                                                   
                 𝒇 ≤ ∞ C