CompositeNDP
│ provides energy SB(≥0) J │ requires weight SB(≥0) kg
│ │ requires cost SB(≥0) USD
│ 5 nodes, 4 edges
│ connected rec: ✓
│ _res required by _divr ≤ required weight equiv id
│ _res2 required by _divr1 ≤ required cost equiv id
│ provided energy ≤ _op provided by _divr equiv id
│ provided energy ≤ _op provided by _divr1 equiv id
├ _divr: SimpleWrap
│ │ provides _op SB(≥0) J │ requires _res SB(≥0) kg
│ └ DP_L_UME SB(≥0) J ⇸ SB(≥0) kg
│ 𝒇 / 0.1 ≤ 𝒓
│ M_C_WrapUnits J → kg > M_A_Divide1_Upper SB(≥0) → same x ⟼ x / 0.1
└ _divr1: SimpleWrap
│ provides _op SB(≥0) J │ requires _res2 SB(≥0) USD
└ DP_L_UME SB(≥0) J ⇸ SB(≥0) USD
𝒇 / 0.1 ≤ 𝒓
M_C_WrapUnits J → USD > M_A_Divide1_Upper SB(≥0) → same x ⟼ x / 0.1