LOCAL s0 : SET  OF  stratum_armx := [ ] ; sto : SET  OF  stratum_technology_occurrence_armx := [ ] ; imsar : SET  OF  interconnect_module_stratum_assembly_relationship := [ ] ; s1 : SET  OF  stratum_armx := [ ] ; s2 : SET OF stratum_armx := [ ] ; i : INTEGER := 0 ; END_LOCAL ; REPEAT  i := 1 TO  1 BY  1 ; REPEAT  j := 1 TO  SIZEOF  ( input1 ) BY  1 ; sto := sto + input1 \ stratum_technology_occurrence_relationship_armx . sto_1 + input1 \ stratum_technology_occurrence_relationship_armx . sto_2 ; END_REPEAT  ; REPEAT  j := 1 TO  SIZEOF  ( sto ) BY  1 ; s0 := s0 + bag_to_set ( USEDIN  ( sto [ j ] , 'layered_interconnect_module_design_xim.stratum_armx.definition' ) ) ; END_REPEAT  ; imsar := imsar + bag_to_set ( USEDIN ( input2 [ i ] , 'layered_interconnect_module_design_xim.interconnect_module_stratum_assembly_relationship.assembly' ) ) ; REPEAT j := 1 TO SIZEOF ( imsar ) BY 1 ; s1 := s1 + imsar [ j ] \ interconnect_module_stratum_assembly_relationship . component ; END_REPEAT  ; s2 := s0 * s1 ; END_REPEAT ; RETURN ( s2 ) ;