Aggiunta di alcuni assiomi nel ReservationManager