Il 'Support set' rappresenta i valori del predicato ritenuti possibili, mentre il 'core' rappresenta quelli ritenuti più plausibili