LOCAL sf : SET  OF  stratum_feature_armx := bag_to_set ( USEDIN  ( input , 'layered_interconnect_module_design_xim.stratum_feature_armx.resident_stratum' ) ) ; sftc : SET  OF  stratum_feature_template_component_armx := bag_to_set ( USEDIN  ( input , 'layered_interconnect_module_design_xim.stratum_feature_template_component_armx.implementation_or_resident_stratum' ) ) ; i : INTEGER := 0 ; ac : SET OF area_component_armx ; END_LOCAL ; REPEAT  i := 1 TO  HIINDEX  ( sf ) BY  1 ; ac := bag_to_set ( QUERY ( temp <* USEDIN ( sf [ i ] , 'layered_interconnect_module_design_xim.stratum_feature_template_component_armx.implementation_or_resident_stratum' ) | ( ( 'layered_interconnect_module_design_xim.area_component_armx' IN  TYPEOF  ( temp ) ) AND  ( temp . is_base = TRUE  ) ) ) ) ; END_REPEAT  ; REPEAT i := 1 TO HIINDEX ( sftc ) BY 1 ; IF ( ( 'layered_interconnect_module_design_xim.area_component_armx' IN TYPEOF ( sftc [ i ] ) ) AND ( sftc [ i ] . is_base = TRUE ) ) THEN ac := ac + sftc [ i ] ; END_IF ; END_REPEAT ; RETURN ( ac ) ;