Rappresenta una relazione semantica tra elementi di modelli che specifica le condizioni e le proposizioni che devono rimanere ...