CompositeNDP                                                                                     
│    provides   demand    Fin {*} │ requires   number_of_cars   {0}                              
│    provides   network   Fin {*} │ requires   travel_time      {0 minutes}                      
│                                 │ requires   velocity         {0 km/h}                         
│                                 │ requires   distance         {0 km}                           
│  12 nodes, 6 edges                                                                             
│   connected rec: ✓                                                                             
│  travel_time required by _constant     ≤ required travel_time         equiv (always satisfied) 
│  velocity required by _constant1       ≤ required velocity            equiv (always satisfied) 
│  number_of_cars required by _constant2 ≤ required number_of_cars      equiv (always satisfied) 
│  distance required by _constant3       ≤ required distance            equiv (always satisfied) 
│  provided demand                       ≤ demand provided by _limit1   equiv (always satisfied) 
│  provided network                      ≤ network provided by _limit   equiv (always satisfied) 
├  _constant: SimpleWrap                                                                         
│             │  - │ requires   travel_time   {0 minutes}                                        
│             └ DP_Constant 𝟙  ⇸  {0 minutes}                                                    
│                0 minutes ≤ 𝒓                                                                   
├ _constant1: SimpleWrap                                                                         
│             │  - │ requires   velocity   {0 km/h}                                              
│             └ DP_Constant 𝟙  ⇸  {0 km/h}                                                       
│                0 km/h ≤ 𝒓                                                                      
├ _constant2: SimpleWrap                                                                         
│             │  - │ requires   number_of_cars   {0}                                             
│             └ DP_Constant 𝟙  ⇸  {0}                                                            
│                0 ≤ 𝒓                                                                           
├ _constant3: SimpleWrap                                                                         
│             │  - │ requires   distance   {0 km}                                                
│             └ DP_Constant 𝟙  ⇸  {0 km}                                                         
│                0 km ≤ 𝒓                                                                        
├     _limit: SimpleWrap                                                                         
│             │  provides   network   Fin {*} │ -                                                
│             └ DP_Limit Fin {*}  ⇸  𝟙  > VU:*                                                   
│                𝒇 ≤ *                                                                           
└    _limit1: SimpleWrap                                                                         
              │  provides   demand   Fin {*} │ -                                                 
              └ DP_Limit Fin {*}  ⇸  𝟙  > VU:*                                                   
                 𝒇 ≤ *