hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Teorema di eliminazione del taglio
Il Teorema di eliminazione del taglio (o Hauptsatz di Gentzen) è il principale risultato che mostra l'importanza del calcolo dei sequenti. Venne dimostrato originariamente da Gerhard Gentzen nel suo storico articolo "Investigations in Logical Deduction" per i sistemi LJ ed LK, in cui sono formalizzate rispettivamente la logica intuizionista e la logica classica. Il teorema di eliminazione del taglio stabilisce che ogni giudizio che possiede nel calcolo dei sequenti una dimostrazione facente uso della regola del taglio possiede anche una dimostrazione senza taglio cioè una dimostrazione che non fa uso della regola del taglio.

Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei primi anni Trenta.

Si dice che lista di asserzioni Ci Δ segue da una lista di asserzioni Di Γ  (o equivalentemente che Γ comporta Δ) e si scrive

quando

Nella visione della logica classica (LK) Δ è una lista di m asserzioni (o proposizioni), mentre in logica intuizionista (LJ) in Δ trova posto una sola proposizione. Questo è un fatto di notevole importanza perché condiziona tutta la struttura di regole inferenziali sui due sistemi.
MENA
Comunemente accettati come Stati MENA.

A volte considerati anch'essi parte della regione.

Il termine MENA (Middle East and North Africa) è un acronimo di "Medio Oriente e Nordafrica", spesso usato da accademici, pianificatori militari ed economisti. Il termine si riferisce a un'ampia regione, estesa dal Marocco all'Iran, che include la maggior parte sia degli Stati mediorientali che del Maghreb. Il termine è sinonimo di Grande Medio Oriente (quest'ultimo, però, ricomprende a volte Pakistan e/o Afghanistan)

La popolazione della regione MENA, secondo la sua estensione minima, è di circa 381 milioni di persone, circa il 6% della popolazione totale del mondo. Per la sua estensione massima, la popolazione è di circa 523 milioni.

Grande Medio Oriente
Definizione tradizionale del Medio Oriente

Definizione del G8 del Grande Medio Oriente

Aree a volte associate con il Medio Oriente (connessioni sociopolitiche)

Grande Medio Oriente (Greater Middle East in inglese) è un termine di geopolitica che individua genericamente il Mondo arabo, Iran, Turchia, Israele, Pakistan ed Afghanistan oltre che, in alcuni casi, vari paesi dell'Asia centrale e del Caucaso (Azerbaigian, Armenia, e Georgia), Cipro e Grecia. A volte è anche utilizzato comprendendo aree con minoranze significative di fede musulmana.

Questo concetto, che si ispira agli Accordi di Helsinki del 1975, è stato introdotto dall'Amministrazione Bush durante i lavori preparatori per il summit del G8 del 2004, come proposta per discutere un cambiamento radicale della politica occidentale verso il Medio Oriente.

La sua visione è promossa soprattutto da circoli neoconservatori come Project for the New American Century.
Partitura
Una partitura (letteralmente ed etimologicamente un insieme di parti) è l'organizzazione grafica di più righe musicali contemporanee, destinata al compositore o al direttore d'orchestra per controllare e gestire con un colpo d'occhio l'intera simultaneità delle parti che contribuiscono all'opera musicale.

Si utilizza la scrittura in partitura, quindi, nella musica d'insieme, da camera, corale, orchestrale e bandistica e perfino nella musica elettronica quando la gestione di una complessa polifonia richiede una notazione scritta.

Pentagramma
Nella notazione musicale il pentagramma, o rigo musicale, è un elemento grafico costituito da cinque linee parallele orizzontali che delimitano quattro spazi di uguale altezza, tramite il quale viene annotata la trascrizione di una o più linee melodiche musicali. Il termine deriva dal greco antico  πέντα?, pénta ("cinque") e γράμμα, grámma ("scrittura, lettera").
Stabilità interna
In matematica, la stabilità interna o stabilità di Ljapunov di un sistema dinamico è un modo per caratterizzare la stabilità delle traiettorie compiute dal sistema nello spazio delle fasi in seguito ad una sua perturbazione in prossimità di un punto di equilibrio. Un punto di equilibrio è detto stabile (secondo Ljapunov) se ogni orbita del sistema che parte sufficientemente vicina al punto di equilibrio rimane nelle vicinanze del punto di equilibrio, ed è detto asintoticamente stabile se l'orbita converge al punto al crescere infinito del tempo.

Teoria della stabilità
In matematica, la teoria della stabilità riguarda la stabilità nel tempo dei sistemi dinamici, valutata in termini di limitatezza delle uscite (ad esempio nel caso di una rete lineare) o analizzando il comportamento delle orbite (soluzioni) dell'equazione differenziale che descrive il sistema, specialmente nel caso in cui esso si trovi in una condizione di equilibrio.

Lo studio della stabilità di un sistema dinamico è un problema diffuso in diversi settori della scienza, come l'ingegneria, la chimica, la fisica, l'economia, o la farmacologia. In particolare, nel caso di sistemi fisici il sistema raggiunge una configurazione che non varia nel tempo quando essa coincide con un minimo dell'energia posseduta dal sistema (teorema di Lagrange-Dirichlet).
Madonna in gloria con santi
La pala Madonna in gloria con i santi chiamata anche Gloria di Ognissanti o Pala del Paradiso è un dipinto olio su tela, di Giambattista Tiepolo risalente al 1734 conservato nella chiesa di Tutti i Santi a Rovetta in provincia di Bergamo.

Rovetta
Rovetta [ɾoˈvɛtːa] (Roèta [ɾoˈɛta] o Ruèta [ɾuˈɛta] in dialetto bergamasco) è un comune italiano di 4 171 abitanti della provincia di Bergamo in Lombardia.

Il territorio comunale si estende su un altopiano che, sebbene appartenga al bacino orografico del fiume Oglio, è considerato parte integrante della val Seriana, ed è posto nelle vicinanze della cittadina di Clusone, a un'altezza di circa 600 m s.l.m.

Circondato da diversi rilievi quali il monte Blum, il monte Parè, la Presolana, il monte Falecchio, il monte Pora e il Pizzo Formico.
Charles Maurras
Charles Marie Photius Maurras (Martigues, 20 aprile 1868 – Tours, 16 novembre 1952) è stato un letterato, saggista, politico e poeta francese, leader del
movimento politico Action Française, fondatore e direttore dell'omonimo quotidiano nazionalista e dell'ideologia denominata maurrassismo.

Maurrassismo
Il maurrassismo è una dottrina politica elaborata da Charles Maurras, di cui l'Action française fu la punta di lancia. Fu un'ideologia nazionalista, antisemita, germanofoba (fino al 1941 almeno), sciovinista, revanscista (fino al 1919), monarchica, cattolica, militarista, nazionalsindacalista e con radici anche nel secondo positivismo e nella critica borghese-positivista alla rivoluzione francese.
Bruzzano
Bruzzano (AFI: [brutˈtsano], Bruscian in dialetto milanese, AFI: [bryˈʃãː]) è un quartiere  della periferia nord di Milano, appartenente al municipio 9 e al NIL n. 83, denominato: “Bruzzano”.

Confina con i quartieri di Niguarda a sud-est, di Affori a sud-ovest e della Comasina a ovest; confina inoltre con il comune di Cormano a nord.

Affori
Affori (AFI: [ˈaffori]; Affer o Affor in dialetto milanese, AFI: [ˈafer] o [ˈafur]) è un quartiere  di Milano posto nella periferia settentrionale della città, appartenente al Municipio 9 e al NIL n. 80
"Affori".
Lady Shiva
Lady Shiva, alter ego di Sandra Woosan, è un personaggio della DC Comics, creata nel dicembre 1975 da Dennis O'Neil e dal disegnatore Ric Estrada sulle pagine della serie Richard Dragon, Kung Fu Fighter. Deve il suo nome all'omonima divinità Indu.

Sebbene nata come antagonista di Richard Dragon, nell'universo post crisi è divenuta una delle antagoniste di Batman, modificando in buona parte le sue origini. È una dei più grandi esperti di arti marziali dell'universo DC Comics, ed è anche la madre di Cassandra Cain, la terza Batgirl.

Cassandra Cain
Cassandra Cain è un personaggio dei fumetti statunitensi creato da Kelley Puckett e Damion Scott (Alex Maleev curò il design del suo costume) nel 1999, pubblicato dalla DC Comics. Fa parte dell'universo narrativo di Batman. Dal 1999 veste i panni della terza Batgirl; anche se ufficialmente è stata la seconda; è ancora alleata di Batman, sotto il nome di Black Bat.
Diocesi di Scranton
La diocesi di Scranton (in latino: Dioecesis Scrantonensis) è una sede della Chiesa cattolica negli Stati Uniti d'America suffraganea dell'arcidiocesi di Filadelfia. Nel 2022 contava 318000 battezzati su 1093000 abitanti. È retta dal vescovo Joseph Charles Bambera.

Arcidiocesi di Filadelfia
L'arcidiocesi di Filadelfia (in latino: Archidioecesis Philadelphiensis) è una sede metropolitana della Chiesa cattolica negli Stati Uniti d'America. Nel 2021 contava 1.265.960 battezzati su 4.134.985 abitanti. È retta dall'arcivescovo Nelson Jesus Perez.
Battaglia dello Stretto della Sonda
La  battaglia dello stretto della Sonda  (denominata anche in alcune fonti battaglia del golfo di Banten) venne combattuta durante la seconda guerra mondiale in seguito all'esito disastroso per le forze navali alleate del comando ABDA (che doveva coordinare le disparate forze americane, britanniche, olandesi e australiane presenti nel Sud-est asiatico) della battaglia del Mare di Giava.

Dopo la sconfitta, le navi superstiti alleate tentarono di sfuggire alla distruzione, di fronte alla potente squadra navale giapponese, disperdendosi in vari gruppi e facendo rotta a sud dell'isola di Java. Questi movimenti provocarono la seconda battaglia del Mare di Giava, in cui venne affondato l'incrociatore britannico HMS Exeter, e soprattutto la battaglia navale nei pressi dello stretto della Sonda dove trovarono la loro fine, dopo un coraggioso combattimento, l'incrociatore pesante americano USS Houston e l'incrociatore leggero australiano HMAS Perth.

Seconda battaglia del Mare di Giava
La seconda battaglia del mare di Giava venne combattuta tra alcune navi superstiti alleate, appartenenti alle forze navali del comando combinato ABDA (American-British-Dutch-Australian Command) responsabile della difesa del sud-est asiatico, all'epoca sotto la guida dell'ammiraglio olandese Helfrich, e le forze imperiali giapponesi, composte da unità della Forza Sud della Marina imperiale giapponese comandata dall'ammiraglio Kondō.
Mercato comune dell'Africa orientale e meridionale
Il Mercato comune dell'Africa orientale e meridionale (in inglese:  Common Market for Eastern and Southern Africa, (COMESA), è un'area di commercio preferenziale con 19 stati membri che si snodano dalla Libia allo Zimbabwe. Il COMESA fu creato nel dicembre 1994, in sostituzione di un'area di commercio preferenziale già esistente dal 1981. Nove degli stati membri formarono un'area di libero scambio nel 2000; Ruanda e Burundi aderirono a tale area nel 2004; Comore e Libia nel 2006.

Il COMESA è uno dei pilastri della Comunità economica africana.

Nel 2008 il COMESA ha aderito all'Area di libero scambio africana (AFTZ), che include i membri di altri due blocchi commerciali africani: la Comunità dell'Africa orientale (EAC) e la Comunità di sviluppo dell'Africa meridionale (SADC).

Comunità di sviluppo dell'Africa meridionale
La Comunità di sviluppo dell'Africa meridionale (in inglese Southern African Development Community - SADC) è un'organizzazione internazionale regionale che persegue la cooperazione e l'integrazione socio-economica così come la cooperazione politica e nella sicurezza tra quindici paesi africani. Completa il ruolo dell'Unione africana.
Stazione di Mortara
La stazione di Mortara è lo scalo ferroviario a servizio dell'omonima cittadina in provincia di Pavia.

Si tratta di un importante snodo ferroviario del sud-ovest della Lombardia, essendo stazione di incrocio fra le linee Novara-Alessandria e Vercelli-Pavia, e capolinea delle linee per Casale Monferrato e per Milano.

Nel settembre 2023 il traffico della Ferrovia Castagnole-Asti-Mortara è stato ripristinato nella tratta che va da Casale Monferrato a Mortara, mentre la tratta che va da Casale Monferrato ad Asti è tuttora sospesa.

Mortara
Mortara (Murtära in dialetto lomellino) è un comune italiano di 15 739 abitanti della provincia di Pavia in Lombardia. È nota per la produzione del salame d'oca a Indicazione geografica protetta (IGP). È il quarto comune della provincia di Pavia per numero di abitanti dopo Pavia, Vigevano e Voghera.
Piallatrice
La piallatrice è una macchina utensile ad asportazione di truciolo utilizzata per realizzare ampie superfici piane o rigate (in legno o metallo) attraverso la riduzione dello spessore del pezzo lavorato.

Macchina utensile
Una macchina utensile è una macchina operatrice atta a trasformare forma e dimensione di oggetti di qualsiasi materiale mediante l'utilizzo di appositi utensili.

Il termine "macchina utensile" è solitamente usato per definire macchine che utilizzano una fonte di moto e quindi di energia diversa dal movimento umano, sebbene a volte necessitino della forza di un operatore per il loro funzionamento.
Charles de Gaulle (R 91)
La Charles de Gaulle (R91) è l'unica portaerei della Marina francese attualmente in servizio, nonché la prima ed unica nave di superficie a propulsione nucleare costruita in Europa occidentale. Sostituisce la portaerei Clemenceau arrivata a fine carriera.

Doveva essere affiancata nel 2015 da una seconda portaerei della medesima classe, la PA 2 che doveva sostituire la Foch, come promesso dal presidente Sarkozy durante la campagna presidenziale del 2007, ma il progetto venne respinto. Parigi è la sua "città madrina" dal 9 ottobre 2001.

La nave prende il suo nome dal generale, statista e presidente della Repubblica francese Charles de Gaulle.

Clemenceau (R 98)
Le portaerei Clemenceau, capoclasse della classe omonima, porta il nome del politico francese Georges Clemenceau, è stata ordinata ai cantieri navali di Brest nel maggio del 1954 e ha subito varie modifiche nel corso del servizio.
Salame gentile
Il salame gentile (o semplicemente "il gentile" - al zintìl in dialetto ferrarese) è un tipo di insaccato caratterizzato dal budello utilizzato. Tale budello è la parte terminale dell'intestino retto del suino ed ha la caratteristica di avere una parete di spessore elevato (mediamente fino a circa 2 mm) costituita prevalentemente di grasso. Il "Gentile" è prodotto con la stessa carne e la stessa concia del Salame all'aglio della tradizione ferrarese, benché sia nella produzione domestica, sia in quella casalinga, alcuni produttori  talvolta escludano l'aglio nella sua preparazione.

Salame all'aglio
Il salame all'aglio (in ferrarese, detto anche "salam-da-l'ai") è il nome generico assegnato ai salami della tradizione prodotti in Val Padana e in particolare nel cremonese, nel mantovano e nel ferrarese. Il nome fa riferimento all'ingrediente che caratterizza il sapore di questo salame. Il salame all'aglio prodotto a Ferrara è inserito nella lista dei prodotti agroalimentari tradizionale dell'Emilia-Romagna.
Porta Altinate
La Porta Altinate o Porta di Ponte Altinà era uno dei quattro accessi "regales" che si aprivano sulle mura comunali di Padova. La porta si innalza sulla prima pila del romano Ponte Altinate - ora non visibile - che attraversa il Naviglio Interno interrato negli anni sessanta dello scorso secolo per lasciare spazio alla via Riviera dei Ponti Romani. La porta e il ponte - come pure la seguente contrada - traggono il nome da Altino, la città verso cui si dirigeva la strada a cui davano accesso. La porta è un frequentato passaggio pedonale verso la piazza dei Noli, ora Garibaldi.

Mura di Padova
Guasto Veneziano

La cinta muraria di Padova è il complesso di opere difensive che nel corso dei secoli sono state erette per difendere la città da attacchi ostili. 
Si possono distinguere almeno 4 fasi edificatorie diverse.
Numididae
I Numididi (Numididae De Sélys Longchamps, 1842) sono una famiglia di uccelli dell'ordine Galliformes che comprende 4 generi e 6 specie, diffuse principalmente nell'Africa sub-sahariana.

La faraona comune (Numida meleagris) è tra le specie più note di questa famiglia.

Numida meleagris
La faraona mitrata, più nota popolarmente come gallina faraona, anche faraona comune, gallina di Numidia o gallina di Faraone  (Numida meleagris [Linnaeus, 1758]), è un uccello galliforme della famiglia dei Numididi, diffuso allo stato selvatico soprattutto nell'Africa settentrionale. È l'unica specie del genere Numida. Per la prelibatezza delle sue carni, è stato importato in Europa, Medio Oriente e nelle Americhe, dove è stato introdotto sia come animale da allevamento, sia, in misura minore, come selvaggina.
Via Pietrapiana
Via Pietrapiana è situata nel centro storico di Firenze, è lunga 313,83 metri e si estende da piazza Sant'Ambrogio (via dei Macci) a piazza Gaetano Salvemini (via Giuseppe Verdi e via Fiesolana, dove era il canto alle Rondini). Lungo il tracciato incontra borgo Allegri e via Michelangelo Buonarroti (che segnano i lati della piazza dei Ciompi), e via de' Pepi.

Via Giuseppe Verdi
Via Giuseppe Verdi è una via del centro storico di Firenze, che va da piazza Santa Croce a via Pietrapiana (canto alle Rondini). Lungo il tracciato si innestano via dei Lavatoi, via Ghibellina (canto degli Aranci), via de' Pandolfini (canto alla Badessa) e via dell'Agnolo (canto dei Chierici), via dell'Ulivo e via di San Pier Maggiore.
Via dell'Arte della Lana
Via dell'Arte della Lana è una strada del centro storico di Firenze, situata tra via Porta Rossa e via Orsanmichele, che deve il suo nome al palazzo dell'Arte della Lana. Si innesta lungo il tracciato via dei Lamberti.

Via dei Lamberti
Via dei Lamberti è una strada del centro storico di Firenze, situata tra via dei Calzaiuoli e via Pellicceria. Lungo il tracciato si innestano via dell'Arte della Lana, Calimala e via dei Cavalieri. La strada odierna è frutto del Risanamento di Firenze, operato negli anni novanta dell'Ottocento.
Ritratto di Francesco Maria della Rovere
Il Ritratto di Francesco Maria della Rovere è un dipinto a olio su tela (114x103 cm) di Tiziano, databile al 1536-1538 e conservato negli Uffizi di Firenze. È firmato "TITIANVS F.[ecit]" e fa coppia con il Ritratto di Eleonora Gonzaga della Rovere, moglie di Francesco Maria.

Ritratto di Eleonora Gonzaga della Rovere
Il Ritratto di Eleonora Gonzaga della Rovere è un dipinto a olio su tela (114x103 cm) di Tiziano, databile al 1536-1538 e conservato negli Uffizi di Firenze. Fa coppia con il Ritratto di Francesco Maria della Rovere, marito di Eleonora.
Interfaccia (chimica)
In chimica, l'interfaccia (o interfase) rappresenta la superficie di separazione che delimita il contorno di due differenti fasi.

Ad esempio, un'interfaccia può delimitare la fase solida da quella liquida in un sistema eterogeneo formato da un liquido e da un solido in esso insolubile, due fasi liquide formate da liquidi fra loro immiscibili e la fase gassosa da quella liquida in un sistema liquido-gas insolubile.

Le interfacce più comuni possono essere di forma sferica o piana, ovvero si possono considerare come sfere aventi raggio rispettivamente finito o infinito. Ad esempio, l'interfaccia tra le gocce d'olio e di aceto nel condimento di un'insalata sono sferiche mentre l'interfaccia acqua-aria in un bicchiere d'acqua è considerabile piana.

Superficie (fisica)
In fisica, chimica e scienza dei materiali, una superficie è l'elemento che separa un corpo o una fase rispetto ad altri corpi o fasi, delimitando in tal modo lo spazio occupato dal corpo o dalla fase in questione. I fenomeni chimico-fisici che avvengono in corrispondenza delle superfici sono studiati nell'ambito della scienza delle superfici.
San Carlo all'Arena
San Carlo all'Arena è un quartiere di Napoli, che, assieme al quartiere Stella, forma la terza municipalità del comune.

Con i suoi oltre 70.000 residenti è il terzo quartiere di Napoli per popolazione, dopo Fuorigrotta e Arenella. Confina a sud coi quartieri San Lorenzo (via Foria, Piazza Carlo III, via Don Bosco) e Vicaria (via Don Bosco), a sud-ovest con il quartiere Stella, a sud con il quartiere Arenella (via Michele Petravalle), a ovest col quartiere Chiaiano (via Tommaso De Amicis, Vallone Saliscendi), a nord coi quartieri Piscinola (Vallone Saliscendi, via Vecchia S.Rocco), Miano, Secondigliano (via comunale Vecchia di Miano, Piazza Di Vittorio), a est coi quartieri Poggioreale (via Don Bosco, via Comandante Umberto Maddalena) e San Pietro a Patierno (via Comandante Umberto Maddalena, Piazza Di Vittorio).

Stella (Napoli)
Stella è un quartiere di Napoli, inquadrato nella terza municipalità; comprende i rioni Sanità e Vergini.

Confina a sud con i quartieri Avvocata e San Lorenzo, ad ovest con il quartiere Arenella, a nord e ad est con il quartiere San Carlo all'Arena.
Teoria del domino
La teoria del domino o del dominio fu una teoria geopolitica statunitense, avanzata sia dai democratici sia dai repubblicani, durante la guerra fredda.

La teoria postulava il pericolo che, nel caso in cui una nazione chiave in una determinata area fosse stata presa da forze politiche comuniste, le nazioni vicine sarebbero cadute anch'esse come pezzi di un domino, entrando nell'orbita di Mosca l'una dopo l'altra. Il riferimento a questa teoria è specificamente legato alla paura quasi ossessiva del comunismo (da cui la dottrina del contenimento) presente nell'amministrazione statunitense ai tempi della guerra del Vietnam, quando John Fitzgerald Kennedy fu indotto a intervenire in Indocina nell'intenzione di impedire il dilagare del comunismo ai paesi confinanti.

Dottrina del containment
Con la dottrina del containment (lett. "contenimento"; anche nota come politica del containment) ci si riferisce alla strategia di politica estera degli Stati Uniti adottata nei primi anni della guerra fredda con la quale si cercava di arginare il cosiddetto "effetto domino", determinato da un progressivo slittamento di paesi che, su scala regionale, transitavano politicamente verso forme di comunismo sovietico, piuttosto che verso il capitalismo e la liberaldemocrazia di stampo europeo occidentale, tipiche dei paesi occidentali sostenuti da Washington. Tra i maggiori sostenitori del contenimento vi fu il diplomatico George Frost Kennan.
Colonna Italiana
La Colonna italiana (meglio conosciuta come Colonna Rosselli o Sezione Italiana della Colonna Ascaso), è stata una delle prime unità di volontari stranieri che hanno combattuto nella guerra civile spagnola contro i nazionalisti in difesa della legalità repubblicana, era costituita da elementi di Giustizia e Libertà, anarchici e altri elementi antifascisti.

A seguito della costituzione del Battaglione Garibaldi, si è progressivamente integrata in quest'ultima formazione, sino alla formale soppressione, avvenuta nel giugno 1937.

Battaglione Garibaldi
Il battaglione Garibaldi fu una formazione militare, costituita da volontari italiani nel 1936, per combattere contro le forze nazionaliste comandate dal generale Francisco Franco nella guerra civile spagnola, a supporto dell'Ejército Popular de la República della Repubblica Spagnola.

Il 30 aprile 1937, fu elevato a rango di Brigata.
Strona di Postua
Lo Strona di Postua (Stron-a ëd Pòstua in piemontese) è un torrente del Piemonte, affluente in sinistra orografica del Sessera.
Il suo corso si sviluppa nella parte più a monte in Provincia di Vercelli mentre a valle lambisce anche la Provincia di Biella.

Sessera
Il Sessera è un torrente del Piemonte, affluente in destra orografica del Sesia. Il suo corso si sviluppa nella parte più a monte in Provincia di Biella mentre a valle transita in Provincia di Vercelli.
L'intero bacino del Sessera ha un perimetro di 69 km;.Il corso del torrente è sbarrato tra le frazioni montane dei comuni di Vallanzengo e di Camandona e forma il bacino delle Mischie (902 m), realizzato a scopo idroelettrico.