CompositeNDP                                                                                                  
│    provides   linear_velocity   {∞ m/s} │ requires   torque                {0 N*m}                          
│    provides   force             {∞ N}   │ requires   rotational_velocity   {0 deg/s}                        
│  8 nodes, 4 edges                                                                                           
│   connected rec: ✓                                                                                          
│  rotational_velocity required by _constant ≤ required rotational_velocity          equiv (always satisfied) 
│  torque required by _constant1             ≤ required torque                       equiv (always satisfied) 
│  provided force                            ≤ force provided by _limit              equiv (always satisfied) 
│  provided linear_velocity                  ≤ linear_velocity provided by _limit1   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                                      
│             │  - │ requires   rotational_velocity   {0 deg/s}                                               
│             └ DP_Constant 𝟙  ⇸  {0 deg/s}                                                                   
│                0 deg/s ≤ 𝒓                                                                                  
├ _constant1: SimpleWrap                                                                                      
│             │  - │ requires   torque   {0 N*m}                                                              
│             └ DP_Constant 𝟙  ⇸  {0 N*m}                                                                     
│                0 N*m ≤ 𝒓                                                                                    
├     _limit: SimpleWrap                                                                                      
│             │  provides   force   {∞ N} │ -                                                                 
│             └ DP_Limit {∞ N}  ⇸  𝟙  > NVU:∞ N                                                               
│                𝒇 ≤ ∞ N                                                                                      
└    _limit1: SimpleWrap                                                                                      
              │  provides   linear_velocity   {∞ m/s} │ -                                                     
              └ DP_Limit {∞ m/s}  ⇸  𝟙  > NVU:∞ m/s                                                           
                 𝒇 ≤ ∞ m/s