CompositeNDP                                                                                 
│    provides   lift   SB([0,10]) N │ requires   power           SB([1,151]) W               
│                                   │ requires   actuator_mass   {150 g}                     
│  8 nodes, 6 edges                                                                          
│   connected rec: ✓                                                                         
│  _c required by _c        ≤ required actuator_mass   equiv (always satisfied)              
│  provided lift            ≤ _l provided by _lim      diff  (always satisfied)              
│  provided lift            ≤ _op provided by _pow     equiv id                              
│  _res required by _mult   ≤ _op provided by _plus    equiv id                              
│  _res2 required by _plus  ≤ required power           equiv id                              
│  _result required by _pow ≤ _op provided by _mult    equiv id                              
├    _c: SimpleWrap                                                                          
│        │  - │ requires   _c   {150 g}                                                      
│        └ DP_Constant 𝟙  ⇸  {150 g}                                                         
│           150 g ≤ 𝒓                                                                        
├  _lim: SimpleWrap                                                                          
│        │  provides   _l   {10 N} │ -                                                       
│        └ DP_Limit {10 N}  ⇸  𝟙  > NVU:10 N                                                 
│           𝒇 ≤ 10 N                                                                         
├ _mult: SimpleWrap                                                                          
│        │  provides   _op   SB([0,100]) N² │ requires   _res   SB([0,150]) W                
│        └ DP_L_UME SB([0,100]) N²  ⇸  SB([0,150]) W                                         
│           𝒇 ⋅ 1.5 ≤ 𝒓                                                                      
│          M_C_WrapUnits   N² → W > M_A_Mult1_Upper   SB([0,100])  →  SB([0,150]) x ⟼ x ⋅ 1.5
├ _plus: SimpleWrap                                                                          
│        │  provides   _op   SB([0,150]) W │ requires   _res2   SB([1,151]) W                
│        └ DP_L_UME SB([0,150]) W  ⇸  SB([1,151]) W                                          
│           𝒇 + 1 ≤ 𝒓                                                                        
│          M_C_WrapUnits   W → W > M_A_Add1_Upper   SB([0,150])  →  SB([1,151]) x ⟼ x + 1    
└  _pow: SimpleWrap                                                                          
         │  provides   _op   SB([0,10]) N │ requires   _result   SB([0,100]) N²              
         └ DP_L_UME SB([0,10]) N  ⇸  SB([0,100]) N²                                          
            𝒇² ≤ 𝒓                                                                           
           M_C_WrapUnits   N → N² > M_A_PowerFrac_Upper   SB([0,10])  →  SB([0,100]) x ⟼ x²