testing instance entailment