grapes-entails-grapes function

Entailment between implication sets