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 _limit1            equiv (always satisfied) 
│  provided linear_velocity                  ≤ linear_velocity provided by _limit   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   linear_velocity   {∞ m/s} │ -                                                    
│             └ DP_Limit {∞ m/s}  ⇸  𝟙  > NVU:∞ m/s                                                          
│                𝒇 ≤ ∞ m/s                                                                                   
└    _limit1: SimpleWrap                                                                                     
              │  provides   force   {∞ N} │ -                                                                
              └ DP_Limit {∞ N}  ⇸  𝟙  > NVU:∞ N                                                              
                 𝒇 ≤ ∞ N