CompositeNDP                                                                                 
│    provides   workspace      {0.4 m}    │ requires   electric_power   {0.2 W}              
│    provides   payload_mass   {200 g}    │ requires   mass             {200 g}              
│    provides   precision      {2 1/mm}   │ requires   budget           {20 $}               
│    provides   velocity       {4 mm/s}   │                                                  
│    provides   acceleration   {10 mm/s²} │                                                  
│    provides   force          {0.001 N}  │                                                  
│  19 nodes, 10 edges                                                                        
│   connected rec: ✓                                                                         
│  _c required by _c          ≤ required electric_power             equiv (always satisfied) 
│  _c2 required by _c2        ≤ required mass                       equiv (always satisfied) 
│  _c3 required by _c3        ≤ required budget                     equiv (always satisfied) 
│  _l required by _conversion ≤ _l provided by _lim                 equiv (always satisfied) 
│  provided acceleration      ≤ _l4 provided by _lim4               equiv (always satisfied) 
│  provided force             ≤ _l5 provided by _lim5               equiv (always satisfied) 
│  provided payload_mass      ≤ _l1 provided by _lim1               equiv (always satisfied) 
│  provided precision         ≤ _l2 provided by _lim2               equiv id                 
│  provided velocity          ≤ _l3 provided by _lim3               equiv (always satisfied) 
│  provided workspace         ≤ workspace provided by _conversion   equiv (always satisfied) 
├          _c: SimpleWrap                                                                    
│              │  - │ requires   _c   {0.2 W}                                                
│              └ DP_Constant 𝟙  ⇸  {0.2 W}                                                   
│                 0.2 W ≤ 𝒓                                                                  
├         _c2: SimpleWrap                                                                    
│              │  - │ requires   _c2   {200 g}                                               
│              └ DP_Constant 𝟙  ⇸  {200 g}                                                   
│                 200 g ≤ 𝒓                                                                  
├         _c3: SimpleWrap                                                                    
│              │  - │ requires   _c3   {20 $}                                                
│              └ DP_Constant 𝟙  ⇸  {20 $}                                                    
│                 20 $ ≤ 𝒓                                                                   
├ _conversion: SimpleWrap                                                                    
│              │  provides   workspace   {0.4 m} │ requires   _l   {40 cm}                   
│              └ DP_True {0.4 m}  ⇸  {40 cm} val = * > ()                                    
│                 true                                                                       
├        _lim: SimpleWrap                                                                    
│              │  provides   _l   {40 cm} │ -                                                
│              └ DP_Limit {40 cm}  ⇸  𝟙  > NVU:40 cm                                         
│                 𝒇 ≤ 40 cm                                                                  
├       _lim1: SimpleWrap                                                                    
│              │  provides   _l1   {200 g} │ -                                               
│              └ DP_Limit {200 g}  ⇸  𝟙  > NVU:200 g                                         
│                 𝒇 ≤ 200 g                                                                  
├       _lim2: SimpleWrap                                                                    
│              │  provides   _l2   {2 1/mm} │ -                                              
│              └ DP_Limit {2 1/mm}  ⇸  𝟙  > NVU:2 1/mm                                       
│                 𝒇 ≤ 2 1/mm                                                                 
├       _lim3: SimpleWrap                                                                    
│              │  provides   _l3   {4 mm/s} │ -                                              
│              └ DP_Limit {4 mm/s}  ⇸  𝟙  > NVU:4 mm/s                                       
│                 𝒇 ≤ 4 mm/s                                                                 
├       _lim4: SimpleWrap                                                                    
│              │  provides   _l4   {10 mm/s²} │ -                                            
│              └ DP_Limit {10 mm/s²}  ⇸  𝟙  > NVU:10 mm/s²                                   
│                 𝒇 ≤ 10 mm/s²                                                               
└       _lim5: SimpleWrap                                                                    
               │  provides   _l5   {0.001 N} │ -                                             
               └ DP_Limit {0.001 N}  ⇸  𝟙  > NVU:0.001 N                                     
                  𝒇 ≤ 0.001 N