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: ✓                                                                                             
│  initial_investment required by _constant ≤ required initial_investment               equiv (always satisfied) 
│  time_per_part required by _constant1     ≤ required time_per_part                    equiv (always satisfied) 
│  budget_per_part required by _constant2   ≤ required budget_per_part                  equiv (always satisfied) 
│  mass required by _constant3              ≤ required mass                             equiv (always satisfied) 
│  electric_power required by _constant4    ≤ required electric_power                   equiv (always satisfied) 
│  provided part_length                     ≤ part_length provided by _limit2           equiv (always satisfied) 
│  provided part_resolution                 ≤ part_resolution provided by _limit        equiv (always satisfied) 
│  provided service_temperature             ≤ service_temperature provided by _limit1   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                                         
│             │  - │ requires   initial_investment   {0 $}                                                       
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                                          
│                0 $ ≤ 𝒓                                                                                         
├ _constant1: SimpleWrap                                                                                         
│             │  - │ requires   time_per_part   {0 s}                                                            
│             └ DP_Constant 𝟙  ⇸  {0 s}                                                                          
│                0 s ≤ 𝒓                                                                                         
├ _constant2: SimpleWrap                                                                                         
│             │  - │ requires   budget_per_part   {0 $}                                                          
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                                          
│                0 $ ≤ 𝒓                                                                                         
├ _constant3: SimpleWrap                                                                                         
│             │  - │ requires   mass   {0 g}                                                                     
│             └ DP_Constant 𝟙  ⇸  {0 g}                                                                          
│                0 g ≤ 𝒓                                                                                         
├ _constant4: SimpleWrap                                                                                         
│             │  - │ requires   electric_power   {0 W}                                                           
│             └ DP_Constant 𝟙  ⇸  {0 W}                                                                          
│                0 W ≤ 𝒓                                                                                         
├     _limit: SimpleWrap                                                                                         
│             │  provides   part_resolution   {∞ 1/mm} │ -                                                       
│             └ DP_Limit {∞ 1/mm}  ⇸  𝟙  > NVU:∞ 1/mm                                                            
│                𝒇 ≤ ∞ 1/mm                                                                                      
├    _limit1: SimpleWrap                                                                                         
│             │  provides   service_temperature   {∞ C} │ -                                                      
│             └ DP_Limit {∞ C}  ⇸  𝟙  > NVU:∞ C                                                                  
│                𝒇 ≤ ∞ C                                                                                         
└    _limit2: SimpleWrap                                                                                         
              │  provides   part_length   {∞ mm} │ -                                                             
              └ DP_Limit {∞ mm}  ⇸  𝟙  > NVU:∞ mm                                                                
                 𝒇 ≤ ∞ mm