CompositeNDP                                                                                                  
│    provides   part_resolution   {∞ 1/mm} │ requires   time_per_unit_volume   {0 s/mm³}                      
│                                          │ requires   force                  {0 N}                          
│                                          │ requires   mass                   {0 kg}                         
│                                          │ requires   budget                 {0 $}                          
│  10 nodes, 5 edges                                                                                          
│   connected rec: ✓                                                                                          
│  time_per_unit_volume required by _constant ≤ required time_per_unit_volume        equiv (always satisfied) 
│  budget required by _constant1              ≤ required budget                      equiv (always satisfied) 
│  mass required by _constant2                ≤ required mass                        equiv (always satisfied) 
│  force required by _constant3               ≤ required force                       equiv (always satisfied) 
│  provided part_resolution                   ≤ part_resolution provided by _limit   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                                      
│             │  - │ requires   time_per_unit_volume   {0 s/mm³}                                              
│             └ DP_Constant 𝟙  ⇸  {0 s/mm³}                                                                   
│                0 s/mm³ ≤ 𝒓                                                                                  
├ _constant1: SimpleWrap                                                                                      
│             │  - │ requires   budget   {0 $}                                                                
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                                       
│                0 $ ≤ 𝒓                                                                                      
├ _constant2: SimpleWrap                                                                                      
│             │  - │ requires   mass   {0 kg}                                                                 
│             └ DP_Constant 𝟙  ⇸  {0 kg}                                                                      
│                0 kg ≤ 𝒓                                                                                     
├ _constant3: SimpleWrap                                                                                      
│             │  - │ requires   force   {0 N}                                                                 
│             └ DP_Constant 𝟙  ⇸  {0 N}                                                                       
│                0 N ≤ 𝒓                                                                                      
└     _limit: SimpleWrap                                                                                      
              │  provides   part_resolution   {∞ 1/mm} │ -                                                    
              └ DP_Limit {∞ 1/mm}  ⇸  𝟙  > NVU:∞ 1/mm                                                         
                 𝒇 ≤ ∞ 1/mm