CompositeNDP                                                                                       
│    provides   torque     {∞ N*m}   │ requires   electric_power   {0 W}                           
│    provides   velocity   {∞ rad/s} │ requires   mass             {0 g}                           
│                                    │ requires   budget           {0 USD}                         
│  10 nodes, 5 edges                                                                               
│   connected rec: ✓                                                                               
│  budget required by _constant          ≤ required budget                equiv (always satisfied) 
│  electric_power required by _constant1 ≤ required electric_power        equiv (always satisfied) 
│  mass required by _constant2           ≤ required mass                  equiv (always satisfied) 
│  provided torque                       ≤ torque provided by _limit      equiv (always satisfied) 
│  provided velocity                     ≤ velocity provided by _limit1   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                           
│             │  - │ requires   budget   {0 USD}                                                   
│             └ DP_Constant 𝟙  ⇸  {0 USD}                                                          
│                0 USD ≤ 𝒓                                                                         
├ _constant1: SimpleWrap                                                                           
│             │  - │ requires   electric_power   {0 W}                                             
│             └ DP_Constant 𝟙  ⇸  {0 W}                                                            
│                0 W ≤ 𝒓                                                                           
├ _constant2: SimpleWrap                                                                           
│             │  - │ requires   mass   {0 g}                                                       
│             └ DP_Constant 𝟙  ⇸  {0 g}                                                            
│                0 g ≤ 𝒓                                                                           
├     _limit: SimpleWrap                                                                           
│             │  provides   torque   {∞ N*m} │ -                                                   
│             └ DP_Limit {∞ N*m}  ⇸  𝟙  > NVU:∞ N*m                                                
│                𝒇 ≤ ∞ N*m                                                                         
└    _limit1: SimpleWrap                                                                           
              │  provides   velocity   {∞ rad/s} │ -                                               
              └ DP_Limit {∞ rad/s}  ⇸  𝟙  > NVU:∞ rad/s                                            
                 𝒇 ≤ ∞ rad/s