LOCAL pk : SET OF Package_armx := []; -- get access TO information base END_LOCAL; REPEAT i := 1 TO HIINDEX( input); pk := pk + input[i].associated_definition; END_REPEAT; RETURN(SIZEOF(input) = SIZEOF(pk));