SimpleWrap                                                                     
│  provides   plutonium   {50 g} │ requires   objectives   {find_ancient_life} 
└ DP_GenericConstant {50 g}  ⇸  {find_ancient_life}                            
   true                                                                        
  ├  b: _                                                                      
  ├ lf: LowerSet(maximals=ff❨50.000000000❩)                                    
  └ ur: UpperSet(minimals=ff❨find_ancient_life❩)