CompositeNDP                                                                                      
│    provides   power_profile   SB(≥0) W │ requires   cost              SB(≥0) USD                
│                                        │ requires   mass              SB(≥0) g                  
│                                        │ requires   area              SB(≥0) m^2                
│                                        │ requires   solar_radiation   SB(≥0) lux                
│  9 nodes, 10 edges                                                                              
│   connected rec: ✓                                                                              
│  provided power_profile                   ≤ power_profile provided by battery        equiv id   
│  _result required by _sum                 ≤ required cost                            equiv id   
│  _result2 required by _sum1               ≤ required mass                            equiv id   
│  charging_profile required by battery     ≤ power_profile provided by solar_panels   equiv id   
│  cost required by battery                 ≤ battery_cost provided by _sum            equiv id   
│  mass required by battery                 ≤ battery_mass provided by _sum1           equiv id   
│  area required by solar_panels            ≤ required area                            equiv id   
│  cost required by solar_panels            ≤ solar_panels_cost provided by _sum       equiv id   
│  mass required by solar_panels            ≤ solar_panels_mass provided by _sum1      equiv id   
│  solar_radiation required by solar_panels ≤ required solar_radiation                 equiv id   
├         _sum: SimpleWrap                                                                        
│               │  provides   battery_cost        SB(≥0) USD │ requires   _result   SB(≥0) USD    
│               │  provides   solar_panels_cost   SB(≥0) USD │                                    
│               └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨USD,USD⟩  ⇸  SB(≥0) USD                         
│                  𝒇₁ + 𝒇₂ ≤ 𝒓                                                                    
│                 ├      Fs: ├ SB(≥0) USD                                                         
│                 │          └ SB(≥0) USD                                                         
│                 ├ opspace: SB(≥0) USD                                                           
│                 └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT     
├        _sum1: SimpleWrap                                                                        
│               │  provides   battery_mass        SB(≥0) g │ requires   _result2   SB(≥0) g       
│               │  provides   solar_panels_mass   SB(≥0) g │                                      
│               └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨g,g⟩  ⇸  SB(≥0) g                               
│                  𝒇₁ + 𝒇₂ ≤ 𝒓                                                                    
│                 ├      Fs: ├ SB(≥0) g                                                           
│                 │          └ SB(≥0) g                                                           
│                 ├ opspace: SB(≥0) g                                                             
│                 └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT     
├      battery: Templatized                                                                       
│               │  provides   power_profile   SB(≥0) W │ requires   charging_profile   SB(≥0) W   
│               │                                      │ requires   cost               SB(≥0) USD 
│               │                                      │ requires   mass               SB(≥0) g   
│               └ DP_True SB(≥0) W  ⇸  SB(≥0)×SB(≥0)×SB(≥0) ⟨W,USD,g⟩ val = * > ()                
│                  true                                                                           
└ solar_panels: Templatized                                                                       
                │  provides   power_profile   SB(≥0) W │ requires   mass              SB(≥0) g    
                │                                      │ requires   cost              SB(≥0) USD  
                │                                      │ requires   area              SB(≥0) m^2  
                │                                      │ requires   solar_radiation   SB(≥0) lux  
                └ DP_True SB(≥0) W  ⇸  WU ⟨g,USD,m^2,lux⟩           val = * > ()                  
                                       └ Π<4>                                                     
                                         ├            mass: SB(≥0)                                
                                         ├            cost: SB(≥0)                                
                                         ├            area: SB(≥0)                                
                                         └ solar_radiation: SB(≥0)                                
                   true