1. On dit que H coïncide avec P si H et P ont même forme (c’est à dire qu’il est possible d’instancier les jokers de P pour obtenir exactement H).
Par exemple, xx = yy + 3 - min(4..7) coïncide avec :