A SPERNER-TYPE THEOREM AND QUALITATIVE INDEPENDENCE