semantic variance