LOCAL psto : INTEGER  := 0 ; ssto : INTEGER  := 0 ; sto : SET OF stratum_technology_occurrence_armx := get_stack ( input ) ; i : INTEGER  := 0 ; j : INTEGER := 0 ; pass : BOOLEAN := TRUE ; END_LOCAL ; REPEAT  i := 1 TO  SIZEOF  ( sto ) BY  1 ; REPEAT j := 1 TO SIZEOF ( input ) BY 1 ; IF  ( input [ j ] \ stratum_technology_occurrence_relationship_armx . sto_1 :=: sto [ i ] ) THEN  psto := psto + 1 ; IF  ( psto = n ) THEN  pass := FALSE  ; ESCAPE  ; END_IF  ; END_IF  ; IF  ( input [ j ] \ stratum_technology_occurrence_relationship_armx . sto_2 :=: sto [ i ] ) THEN  ssto := ssto + 1 ; IF ( ssto = n ) THEN pass := FALSE ; ESCAPE ; END_IF  ; END_IF ; END_REPEAT  ; END_REPEAT ; RETURN ( pass ) ;