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);