CompositeNDP                                                                                                                                             
│    provides   distance   SB(≥0) m │ requires   speed   SB(≥0) furlongs/s                                                                               
│                                   │ requires   time    SB(≥0) hours                                                                                    
│  6 nodes, 5 edges                                                                                                                                      
│   connected rec: ✓                                                                                                                                     
│  _r required by _conversion_0 ≤ _result provided by _minusvalue      diff  AmbientConversion SB(≥0) fur*h/s  ⇸  SB(≥-0.013808222) fur*h/s  > D fur*h/s 
│                                                                             𝒇 ≤ 𝒓                                                                      
│  provided distance            ≤ distance provided by _conversion_0   equiv id                                                                          
│  speed required by _invmult   ≤ required speed                       equiv id                                                                          
│  time required by _invmult    ≤ required time                        equiv id                                                                          
│  _op required by _minusvalue  ≤ _result provided by _invmult         equiv id                                                                          
├ _conversion_0: SimpleWrap                                                                                                                              
│                │  provides   distance   SB(≥0) m │ requires   _r   SB(≥0) fur*h/s                                                                      
│                └ UnitConversion SB(≥0) m  ⇸  SB(≥0) fur*h/s                                                                                            
│                   𝒇 [m] ≤ 𝒓 [fur*h/s]                                                                                                                  
│                  ├      F0: SB(≥0)                                                                                                                     
│                  ├  factor: 1.3808221099887767e-06                                                                                                     
│                  ├ F_units: SingleUnits m                                                                                                              
│                  └ R_units: SingleUnits fur*h/s                                                                                                        
├      _invmult: SimpleWrap                                                                                                                              
│                │  provides   _result   SB(≥0) fur*h/s │ requires   speed   SB(≥0) furlongs/s                                                           
│                │                                      │ requires   time    SB(≥0) hours                                                                
│                └ M_Fun_MultiplyMany_DP SB(≥0) fur*h/s  ⇸  SB(≥0)×SB(≥0) ⟨furlongs/s,hours⟩                                                             
│                   𝒇 ≤ 𝒓₁⋅𝒓₂                                                                                                                            
│                  ├   Rs: ├ SB(≥0) furlongs/s                                                                                                           
│                  │       └ SB(≥0) hours                                                                                                                
│                  └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT                                                              
└   _minusvalue: SimpleWrap                                                                                                                              
                 │  provides   _result   SB(≥-0.013808222) fur*h/s │ requires   _op   SB(≥0) fur*h/s                                                     
                 └ DP_L_LME SB(≥-0.013808222) fur*h/s  ⇸  SB(≥0) fur*h/s                                                                                 
                    𝒇 ≤ 𝒓 - 0.013808222                                                                                                                  
                   └ M_C_WrapUnits   fur*h/s → fur*h/s                                                                                                   
                     M_A_Sub_Lower   SB(≥0)  →  SB(≥-0.013808222) x ⟼ x - 0.013808222