Determine whether the first set x of predicates is more specific (or equal) than y with respect to vars and specs.
x
y
vars
specs
Useful links