SWI-Prolog y restricciones, biblioteca CLP (FD)

Estoy jugando con restricciones en (swi) prolog usando la biblioteca clpfd. Estoy tratando de identificar cuándo un conjunto de restricciones encapsula o subsume al otro, p. X <4 encapsula X <7 ya que siempre que lo primero es cierto, lo segundo ...