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