CompositeNDP                                                                                          
│    provides   workspace      {∞ m}     │ requires   electric_power   {0 W}                          
│    provides   payload_mass   {∞ g}     │ requires   mass             {0 g}                          
│    provides   precision      {∞ 1/mm}  │ requires   budget           {0 $}                          
│    provides   velocity       {∞ mm/s}  │                                                            
│    provides   acceleration   {∞ mm/s²} │                                                            
│    provides   force          {∞ N}     │                                                            
│  18 nodes, 9 edges                                                                                  
│   connected rec: ✓                                                                                  
│  electric_power required by _constant ≤ required electric_power            equiv (always satisfied) 
│  budget required by _constant1        ≤ required budget                    equiv (always satisfied) 
│  mass required by _constant2          ≤ required mass                      equiv (always satisfied) 
│  provided acceleration                ≤ acceleration provided by _limit1   equiv (always satisfied) 
│  provided force                       ≤ force provided by _limit5          equiv (always satisfied) 
│  provided payload_mass                ≤ payload_mass provided by _limit4   equiv (always satisfied) 
│  provided precision                   ≤ precision provided by _limit       equiv (always satisfied) 
│  provided velocity                    ≤ velocity provided by _limit2       equiv (always satisfied) 
│  provided workspace                   ≤ workspace provided by _limit3      equiv (always satisfied) 
├  _constant: SimpleWrap                                                                              
│             │  - │ requires   electric_power   {0 W}                                                
│             └ DP_Constant 𝟙  ⇸  {0 W}                                                               
│                0 W ≤ 𝒓                                                                              
├ _constant1: SimpleWrap                                                                              
│             │  - │ requires   budget   {0 $}                                                        
│             └ DP_Constant 𝟙  ⇸  {0 $}                                                               
│                0 $ ≤ 𝒓                                                                              
├ _constant2: SimpleWrap                                                                              
│             │  - │ requires   mass   {0 g}                                                          
│             └ DP_Constant 𝟙  ⇸  {0 g}                                                               
│                0 g ≤ 𝒓                                                                              
├     _limit: SimpleWrap                                                                              
│             │  provides   precision   {∞ 1/mm} │ -                                                  
│             └ DP_Limit {∞ 1/mm}  ⇸  𝟙  > NVU:∞ 1/mm                                                 
│                𝒇 ≤ ∞ 1/mm                                                                           
├    _limit1: SimpleWrap                                                                              
│             │  provides   acceleration   {∞ mm/s²} │ -                                              
│             └ DP_Limit {∞ mm/s²}  ⇸  𝟙  > NVU:∞ mm/s²                                               
│                𝒇 ≤ ∞ mm/s²                                                                          
├    _limit2: SimpleWrap                                                                              
│             │  provides   velocity   {∞ mm/s} │ -                                                   
│             └ DP_Limit {∞ mm/s}  ⇸  𝟙  > NVU:∞ mm/s                                                 
│                𝒇 ≤ ∞ mm/s                                                                           
├    _limit3: SimpleWrap                                                                              
│             │  provides   workspace   {∞ m} │ -                                                     
│             └ DP_Limit {∞ m}  ⇸  𝟙  > NVU:∞ m                                                       
│                𝒇 ≤ ∞ m                                                                              
├    _limit4: SimpleWrap                                                                              
│             │  provides   payload_mass   {∞ g} │ -                                                  
│             └ DP_Limit {∞ g}  ⇸  𝟙  > NVU:∞ g                                                       
│                𝒇 ≤ ∞ g                                                                              
└    _limit5: SimpleWrap                                                                              
              │  provides   force   {∞ N} │ -                                                         
              └ DP_Limit {∞ N}  ⇸  𝟙  > NVU:∞ N                                                       
                 𝒇 ≤ ∞ N