CompositeNDP                                                                                         
│    provides   temperature   {∞ C} │ requires   budget           {0 $}                              
│                                   │ requires   mass             {0 kg}                             
│                                   │ requires   electric_power   {0 W}                              
│  8 nodes, 4 edges                                                                                  
│   connected rec: ✓                                                                                 
│  budget required by _constant          ≤ required budget                  equiv (always satisfied) 
│  mass required by _constant1           ≤ required mass                    equiv (always satisfied) 
│  electric_power required by _constant2 ≤ required electric_power          equiv (always satisfied) 
│  provided temperature                  ≤ temperature provided by _limit   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                             
│             │  - │ requires   budget   {0 $}                                                       
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                              
│                0 $ ≤ 𝒓                                                                             
├ _constant1: SimpleWrap                                                                             
│             │  - │ requires   mass   {0 kg}                                                        
│             └ DP_Constant 𝟙  ⇸  {0 kg}                                                             
│                0 kg ≤ 𝒓                                                                            
├ _constant2: SimpleWrap                                                                             
│             │  - │ requires   electric_power   {0 W}                                               
│             └ DP_Constant 𝟙  ⇸  {0 W}                                                              
│                0 W ≤ 𝒓                                                                             
└     _limit: SimpleWrap                                                                             
              │  provides   temperature   {∞ C} │ -                                                  
              └ DP_Limit {∞ C}  ⇸  𝟙  > NVU:∞ C                                                      
                 𝒇 ≤ ∞ C