SimpleWrap                                                                                                                                                                                 
│  provides   layout   Fin {BGG_GTG_TBB,BGG_PGB_TBB,BGT_GGP_TBB,BGT_PGT_TBB, …} │ requires   trees               SB([0,7]::1)                                                              
│                                                                               │ requires   sidewalks           SB([0,9]::1)                                                              
│                                                                               │ requires   benches             SB([0,6]::1)                                                              
│                                                                               │ requires   cost_yearly         SB([450,2900]) $                                                          
│                                                                               │ requires   co2_cost_upfront    SB([250,1270]::1)                                                         
│                                                                               │ requires   co2_impact_yearly   SB([-15,130]::1)                                                          
└ DP_C_Series Fin {BGG_GTG_TBB,BGG_PGB_TBB,BGT_GGP_TBB,  ⇸  WU ⟨dimensionless,dimensionless,dimensionless,$,dimensionless,dimensionless⟩                                                   
                   BGT_PGT_TBB, …}                          └ Π<6>                                                                                                                         
                                                              ├ SB([0,7]::1)                                                                                                               
                                                              ├ SB([0,9]::1)                                                                                                               
                                                              ├ SB([0,6]::1)                                                                                                               
                                                              ├ SB([450,2900])                                                                                                             
                                                              ├ SB([250,1270]::1)                                                                                                          
                                                              └ SB([-15,130]::1)                                                                                                           
   ∃q: (iso(𝒇, q₁)) ∧ (catalogue(q₁, 𝒓))                                                                                                                                                   
  ├ DP_Mux Fin {BGG_GTG_TBB,BGG_PGB_TBB,BGT_GGP_TBB,  ⇸  Π<1>                                                                                                                              
  │             BGT_PGT_TBB, …}                          └ Fin {BGG_GTG_TBB,BGG_PGB_TBB,BGT_GGP_TBB, a ↦ ⟨a⟩                                                                               
  │                                                             BGT_PGT_TBB, …}                      α ↤ ⟨α⟩                                                                               
  │  iso(𝒇, 𝒓)                                                                                                                                                                             
  └ DP_Catalog Π<1>                                ⇸  WU ⟨dimensionless,dimensionless,dimensionless,$,dimensionless,dimensionless⟩                                                         
               └ Fin {BGG_GTG_TBB,BGG_PGB_TBB,        └ Π<6>                                                                       Showing first 5 of 400                                  
                      BGT_GGP_TBB,BGT_PGT_TBB, …}       ├ SB([0,7]::1)                                                             ⟨PTG_BTP_TBB⟩  ↤  PTG_BTP_TBB  ↦  ⟨3,2,3,1700 $,1090,67⟩
                                                        ├ SB([0,9]::1)                                                             ⟨GTG_PBB_GPB⟩  ↤  GTG_PBB_GPB  ↦  ⟨1,2,3,1100 $,790,81⟩ 
                                                        ├ SB([0,6]::1)                                                             ⟨GTG_PTB_PBB⟩  ↤  GTG_PTB_PBB  ↦  ⟨2,2,3,1400 $,940,74⟩ 
                                                        ├ SB([450,2900])                                                           ⟨GGG_TBB_BPG⟩  ↤  GGG_TBB_BPG  ↦  ⟨1,1,3,1150 $,680,73⟩ 
                                                        ├ SB([250,1270]::1)                                                        ⟨GTT_PTG_BPP⟩  ↤  GTT_PTG_BPP  ↦  ⟨3,3,1,1650 $,920,39⟩ 
                                                        └ SB([-15,130]::1)                                                                                                                 
     catalogue(𝒇, 𝒓)