means that given the values and the conditions the slots
have, they COULD be equivalent (but still might not be)
means that given the values and the conditions, the two slots
can never be equivalent
means that the given values and conditions are not
sufficient to make any judgement.