hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Voo TACA 110
O Voo TACA 110 foi um voo internacional regular operado pela companhia aérea TACA Airlines, viajando de Belize para Nova Orleães. Em 24 de maio de 1988, o Boeing 737-300 perdeu a potência em ambos os motores, mas seus pilotos fizeram um pouso de peso morto (tradução livre de deadstick landing) em um dique de grama, sem ninguém a bordo sofrer mais do que ferimentos leves e com apenas pequenos danos à aeronave. No início de sua carreira, o comandante do voo, Carlos Dardano, de El Salvador, perdeu um de seus olhos devido uma bala perdida durante um pequeno voo para El Salvador, que passava por uma guerra civil na época.

Southwest Airlines
Southwest Airlines Co. é uma das maiores linhas aéreas dos Estados Unidos. Sua sede fica na cidade de Dallas, no Texas, e é a maior companhia aérea de baixo custo do mundo.

A companhia aérea foi fundada em 15 de março de 1967 por Herb Kelleher como Air Southwest Co. e adotou seu nome atual, Southwest Airlines Co., em 1971, quando começou a operar como uma companhia aérea intra-estadual inteiramente dentro do estado do Texas, voando pela primeira vez entre Dallas, Houston e San Antonio. A companhia aérea tem mais de 60.000 funcionários e opera cerca de 4.000 partidas por dia durante a alta temporada.

Em 2018, a Southwest transportava a maioria dos passageiros domésticos de qualquer companhia aérea dos Estados Unidos. A companhia aérea tem voos regulares para 103 destinos nos Estados Unidos e dez países adicionais.

Em 2022, a empresa figurou no 234º lugar entre as 500 maiores empresas dos EUA, da Revista Fortune.
Igreja de São Sebastião (Lagos)
A Igreja de São Sebastião, originalmente denominado de Ermida de Nossa Senhora da Conceição, é um edifício religioso, localizado na cidade de Lagos, em Portugal. Foi construída durante o século XIV, sendo originalmente uma ermida dedicado a Nossa Senhora da Conceição, tendo sido ampliada para uma igreja e consagrada a São Sebastião no século XV. Foi classificado como Monumento Nacional. Um dos principais motivos de interesse na igreja é a mistura de vários estilos, causada por um prolongado período de construção, além de várias obras de reedificação posterior, como após os sismos de 1755 e 1969. Nos finais da década de 2010, a igreja atingiu um avançado estado de degradação, situação que foi denunciada por vários partidos políticos e pela Assembleia da República.

Assembleia da República
A Assembleia da República é o órgão legislativo de Portugal e o segundo órgão de soberania do país. É um parlamento unicameral, composto por 230 deputados eleitos por sufrágio universal direto e secreto para mandatos de quatro anos. A Assembleia da República tem os poderes de legislar e de fiscalizar a atuação do Governo, para além de exercer a sua função primordial de representação dos cidadãos portugueses. A Assembleia da República reúne-se no Palácio de São Bento e nas traseiras do edifício situa-se a Residência Oficial do Primeiro-Ministro. Na atual legislatura, a XVII Legislatura da Terceira República Portuguesa, Luís Montenegro (PPD/PSD) é o atual Primeiro-Ministro e André Ventura (CH) é o  Líder do Maior Partido da Oposição.
Dorothy Wright
Dorothy Winifred Wright (Londres, 19 de agosto de 1889 — Poole, 1960) foi uma velejadora britânica, campeã olímpica. Ela competiu nos Jogos Olímpicos de Verão de 1920 na classe 7 Metre e conquistou a medalha de ouro na disputa a bordo do Ancora com Robert Coleman, William Maddison e Cyril Wright.

Em 1917, ela se casou com Cyril enquanto ele estava de licença do serviço militar. Por ser um casal a ganhar uma medalha de ouro olímpica juntos pela Grã-Bretanha, Wright e seu marido conseguiram um feito não repetido até Kate e Helen Richardson-Walsh fazerem parte da equipe britânica que conquistou o ouro no hóquei feminino nas Olimpíadas de 2016.

7 Metre
A classe internacional dos 7 metros, internacionalmente conhecida como 7 Metre, é uma classe de iates clássicos de corrida. Em seu apogeu, as Meter Classes eram o grupo mais importante de classes internacionais de corridas de iates e ainda são disputadas ativamente em todo o mundo. O 7mR foi usado como classe olímpica durante as Olimpíadas de 1908 e 1920. A Regra Internacional foi criada em 1907 para substituir o sistema de handicap anterior e mais simples, que muitas vezes era local ou, na melhor das hipóteses, nacional, e muitas vezes também bastante simples, produzindo barcos extremos que eram rápidos, mas de construção leve e impraticáveis.
Man on Fire
Man on Fire (bra: Chamas da Vingança; prt: Homem em Fúria) é um filme estadunidense de 2004, dos gêneros ação e suspense, dirigido por Tony Scott, com roteiro de Brian Helgeland baseado no romance Man on Fire, de A. J. Quinnell.

Trata-se de uma refilmagem do filme homônimo de 1987, ambos baseados no mesmo livro, contanto a história de um mercenário, ex-integrante da Marinha norte-americana e da Legião Estrangeira.

2004 no cinema
Filmes em 2004 é uma visão geral dos eventos, incluindo os filmes de maior bilheteria, cerimônias de premiação, festivais, uma lista de filmes lançados específicos de cada país, mortes notáveis ​​e estreias cinematográficas. Shrek 2 foi o filme de maior bilheteria do ano e Million Dollar Baby ganhou o Oscar de Melhor Filme.
View from the Ground
View from the Ground é o décimo álbum de estúdio da dupla de folk-rock America, lançado pela Capitol Records em 1982.

O álbum atingiu sucesso moderado nos Estados Unidos, alcançando o 41º lugar nas paradas musicais da Billboard. Dele saíram dois singles de sucesso: "You Can Do Magic" (8º lugar no Billboard Pop Singles e 5º lugar no Adult Contemporary) e "Right Before Your Eyes" (45º lugar no Bilboard Pop e 16º no Adult Contemporary). O Single "Jody"/"Inspector Mills" também foi lançado, mas não alcançou as paradas de sucesso.

Capitol Records
Capitol Records, LLC (Registrada como Capitol Records, Inc. Até 2007) é uma gravadora americana de propriedade da Universal Music Group através de sua marca Capitol Music Group. Foi fundada como a primeira gravadora nos Estados Unidos em 1942 por Johnny Mercer, Buddy DeSylva e Glenn E. Wallichs. A Capitol foi adquirida pelo conglomerado britânico de música EMI como sua subsidiária na América do Norte em 1955. A EMI foi adquirida pela Universal Music Group em 2012 e se fundiu com a empresa um ano depois, fazendo da Capitol e do Capitol Music Group uma parte da UMG. O edifício da sede circular da marca em Hollywood é um marco reconhecido da Califórnia.
Medida de Lebesgue
Em matemática, a medida de Lebesgue é a generalização padrão do conceitos de comprimento na reta, área no plano e volume no espaço. A medida de Lebesgue está definida para uma ampla família de subconjuntos do . Esta família é na realidade uma sigma-álgebra e contém os conjuntos abertos e conjuntos fechados.

Conjunto fechado
Em matemática, em topologia, um conjunto diz-se fechado num espaço se o seu complementar for aberto.

Ser um conjunto fechado não exclui ser também um conjunto aberto. Na verdade, o conjunto vazio e um dado conjunto  são sempre abertos e fechados em .
Famicom 3D System
Famicom 3D System (ファミコン3Dシステム ? ) é um acessório para o Famicom que foi lançado apenas no Japão. O sistema consistia num par de oculos de cristais líquidos que recebia o sinal de vídeo através de uma dupla entrada 3,5 milímetros ligadas a um adaptador especial. Deu jogos compatíveis a ilusão de profundidade 3D​, como os óculos 3D do SEGA Master System. Com a exceção de Falsion, jogos seriam jogados em 2D convencional até um "modo 3D" ser ativado pressionando o botão de seleção.

Square (empresa)
Square Co., Ltd. (株式会社スクウェア, Kabushiki-gaisha Sukuwea), também conhecida como SquareSoft, foi uma produtora japonesa de jogos eletrônicos, fundada em setembro de 1983 por Masafumi Miyamoto.

A empresa popularizou-se com os jogos Chrono Trigger, Secret of Mana, Xenogears, Parasite Eve e Vagrant Story, entre outros. Mas é sem dúvida melhor conhecida como a produtora dos jogos da série Final Fantasy desde 1987. Entre 1992 e 1993. Em 2003, a Square e a Enix, dois rivais nipónicos de longa data, fundem-se, dando origem à Square Enix.
Huarache (calçado de corrida)
Huaraches são um tipo aberto de calçado para uso externo, consistindo de uma sola de sapato presa ao pé do usuário por correias que passam sobre o peito do pé e ao redor do tornozelo. O entendimento comum é que estas sandálias sejam uma variante do  calçado tradicional mexicano chamado huarache: a diferença está no design e construção. Corredores já ganharam provas usando o calçado.

Estas sandálias são favorecidas pelos corredores minimalistas por várias razões. Eles forçam o pé e o corredor a terem uma marcha natural. Eles também ajudam a proteger o pé de vidros, cascalhos e outros detritos.

Vidro
Em ciência dos materiais, o vidro é uma substância sólida amorfa, que apresenta temperatura de transição vítrea. No dia a dia o termo se refere a um material cerâmico transparente geralmente obtido com o resfriamento de uma massa líquida à base de sílica.

Em sua forma pura, o vidro é um óxido metálico transparente, de elevada dureza, essencialmente inerte e biologicamente inativo, que pode ser fabricado com superfícies muito lisas e impermeáveis. Estas propriedades desejáveis conduzem a um grande número de aplicações. No entanto, o vidro geralmente é frágil, quebra-se com facilidade.
O vidro comum se obtém por fusão em torno de 1 250 ° Celsius de dióxido de silício, (SiO2), carbonato de sódio (Na2CO3) e carbonato de cálcio (CaCO3).
Inscrição do Dípilon
A Inscrição do Dípilon ou Dipylon é um texto curto escrito em um vaso de cerâmica grega antiga datado de cerca. 740 a.C.. É famosa por ser a amostra mais antiga (ou uma das mais antigas) conhecida do uso do alfabeto grego. O texto está gravado em um enócoa, que foi encontrado em 1871 e recebeu o nome do local onde foi encontrado, o antigo Cemitério de Dípilon, perto do Portão de Dípilon na área do Cerâmico em Atenas. A jarra é atribuída ao final do Período Geométrico Tardio (750–700 a.C.). Agora está no Museu Arqueológico Nacional de Atenas (inv. 192).

Cerâmico (cemitério)
Cerâmico (em grego: Κεραμεικος; romaniz.: Kerameikos), também chamado de Cerameico, é um cemitério situado na região da Ática na Grécia, região esta onde estava localizada a pólis ateniense. O cemitério estava localizado a noroeste da ágora ateniense numa região onde também estava localizado o subúrbio de Atenas.

O distrito antigo ganhou seu nome do herói grego Céramo (também chamado Kéramos), que era filho de Ariadne e Dionísio e herói dos oleiros, ou porque, na antiga Atenas, este era o lugar onde ficavam os oleiros (kerameis).

Em 478 a.C. quando as Guerras Persas estavam em seu fim, Temístocles decidiu construir um muro ao redor da ágora, fato que dividiu o cemitério em duas partes, parte interna aos muros e parte externa aos muros, ficando com o governo de Clístenes proibida a construção de novos túmulos na parte interna dos muros.

Atualmente as escavações no cemitério do Cerâmico são realizadas pelo "The German Archaeological Institute in Athens".
Galeries Lafayette
‎

Galeries Lafayette é loja de departamentos francesa. A sua loja principal fica no Boulevard Haussmann, no 9º arrondissement de Paris, próxima da Opera Garnier, na esquina da Rue La Fayette, próxima da estação de metrô Chaussée d'Antin - La Fayette Paris. Em 2009, as Galeries Lafayette registaram receitas de mais de um bilhão de euros. Faz parte da empresa Groupe Galeries Lafayette.

Loja de departamento
Uma loja de departamento (em inglês:  department store) ou grande armazém (em francês:  grand magasin) é um tipo de comércio que apresenta nos seus locais de venda uma larga variedade de produtos de grande consumo, tais como vestuário, mobiliário, decoração, produtos eletrónicos, cosméticos, brinquedos, entre outros. O grande número de produtos disponíveis exige normalmente edifícios de certa dimensão, de forma a organizar as vendas por andares.
Campeonato Mundial de Atletismo Sub-20 de 2022 - 400 m com barreiras feminino
A prova dos 400 metros com barreiras feminino do Campeonato Mundial de Atletismo Sub-20 de 2022 ocorreu entre os dias 2 a 4 de agosto de 2022 no Estádio Olímpico Pascual Guerrero, em Cali, na Colômbia.

Estádio Olímpico Pascual Guerrero
O Estádio Olímpico Pascual Guerrero é um estádio de futebol, também usado para atletismo, shows e rúgbi de sete, em Santiago de Cali, Colômbia que leva esse nome em homenagem ao poeta Pascual Guerrero.

O "Pascual", como os habitantes de Cali costumam chamar o estádio, substituiu o extinto Estadio Galilea que ficava no bairro de Versalhes, onde foi realizada a primeira competição nacional de atletismo em 1928. O Pascual ainda é um importante local para eventos esportivos nacionais e internacionais.

Desde as reformas feitas para ser uma das sedes da Copa do Mundo FIFA Sub-20 de 2011, a capacidade é de aproximadamente 35 mil pessoas. É atualmente a casa do América de Cali, Atlético e Boca Juniors de Cali,  sendo do Deportivo Cali até 2015, quando este se mudou permanentemente ao seu novo estádio.
Campeonato Sul-Americano de Rugby sevens Feminino de 2022
O Campeonato Sul-Americano de Rugby sevens Feminino de 2022 foi realizado em Saquarema, Brasil de 10 a 11 de junho de 2022. O torneio serviu como o primeiro classificatório para os Jogos Pan-Americanos de 2023. O Brasil venceu o torneio, seguido por Colômbia e Argentina.

Rugby sevens nos Jogos Pan-Americanos de 2023
Os torneios de rugby sevens nos Jogos Pan-Americanos de 2023 em Santiago, no Chile, foram realizados em 3 e 4 de novembro de 2023 no Estádio Municipal de La Pintana, em La Pintana. Ao todo, oito equipes masculinas e oito femininas (cada uma composta em até 12 jogadores) competiram, totalizando 192 competidores.
Antoine Casimir Marguerite Eugène Foudras
Antoine Casimir Marguerite Eugène Foudras (Lyon, 19 de novembro de 1783 — Lyon, 13 de abril de 1859) foi um advogado e naturalista francês, especificamente um entomólogo especializado em filoxera e besouros-saltadores, e botânico, sendo responsável também pelo colecionismo de insetos europeus, principalmente pela região de nascimento como nos arredores franceses, na região histórica de Bresse ou nos Alpes Ocidentais. Mesmo com grande interesse em estudos da natureza, inicia influenciado por seu pai, sua carreira no empresariado, depois se dirigindo ao direito e trabalhando por algum tempo no cargo de advogado. O estudioso realizou algumas poucas descrições de gêneros e famílias de besouros-saltadores, das quais três permanecem atualmente e duas são, agora, consideradas sinônimos. Juntamente a Étienne Mulsant e Claudius Rey, Foudras é considerado um dos membros mais importantes da escola entomológica de Lião do século XIX.

Naturalista
O termo naturalista refere-se ao indivíduo estudioso das ciências naturais - notadamente botânica, zoologia e geologia.

O primeiro naturalista luso-brasileiro foi Frei Cristóvão de Lisboa, frade franciscano que, nos anos 1620, escreveu a primeira obra sobre a  fauna e a flora brasileiras: A História Natural e Moral do Maranhão e Grão Pará. O livro foi escrito quando o religioso realizava trabalho missionário no chamado Grão-Pará.
Persististrombus granulatus
Persististrombus granulatus (nomeada, em inglês, granulated conch) é uma espécie de molusco gastrópode marinho pertencente à família Strombidae. Foi classificada por William John Swainson em 1822, com a denominação Strombus granulatus; no texto "Description of several new shells, and remarks on others, contained in the collection of the late Mrs. Bligh", publicado em: A catalogue of the rare and valuable shells, which formed the celebrated collection of the late Mrs. Bligh. The sale of this collection. É nativa do leste do oceano Pacífico; do Golfo da Califórnia, e passando por toda a América Central, ao Peru e ilhas Galápagos, no oeste da América do Sul. É a única espécie do seu gênero (táxon monotípico). O significado, em latim, da palavra granulatus é "formado de pequenos grãos", numa alusão ao relevo de sua concha.

Gastropoda
Gastropoda (do grego clássico: γαστήρ, gastér, 'estômago'; e ποδὸς, podòs, 'pé'), conhecidos como gastrópodes, é uma grande classe taxonómica do filo Mollusca que agrupa os animais conhecidos por caracóis, lesmas, lapas e búzios. A classe Gastropoda inclui 65 000–85 000 espécies extantes, com grande variedade morfológica e tamanhos que vão do submicroscópico a várias dezenas de centímetros. Com espécies terrestres (cerca de um terço do total), de água doce e marinhas, constitui o agrupamento taxonómico com maior sucesso do filo Mollusca. O grupo está abundantemente presente no registo fóssil desde o final do Cambriano (Furongiano).
TripAdvisor
Tripadvisor.com é um site de viagens que fornece informações e opiniões de conteúdos relacionados ao turismo. Ele também inclui fóruns de viagens interativos. Esse site foi um dos primeiros a adotar um conteúdo gerado pelo usuário, que fornece a maior parte do conteúdo, e é sustentado por um modelo de negócio de publicidade. O Tripadvisor foi fundado em fevereiro de 2000, por Langley Steinert, Stephen Kaufer e outros. O financiamento original foi obtido a partir da Flagship Ventures, do Grupo Bollard e de investidores privados.

A empresa foi comprada pela IAC/InterActiveCorp, em 2004. A IAC desmembrou seu grupo de viagem de negócios sob o nome Expedia, Inc. em agosto de 2005. Afirma ser o serviço mais popular e a maior comunidade de viagens do mundo, com mais de 32 milhões de membros e mais de 100 milhões de comentários e opiniões sobre hotéis, restaurantes, atrações e outros negócios relacionados a viagens.

Expedia.com
A Expedia Inc. é uma agência de viagens online de propriedade do Expedia Group, uma empresa americana de compras online de viagens com sede em Seattle. O site e o aplicativo móvel podem ser usados para reservar passagens aéreas, reservas de hotéis, aluguel de carros, navios de cruzeiro e pacotes de férias.
Félix Balyu
Félix Balyu (Bruges, 5 de agosto de 1891 - 15 de janeiro de 1971) foi um futebolista belga que competiu nos Jogos Olímpicos de Verão de 1920, ele ganhou a medalha de ouro como membro da Seleção Belga de Futebol.

Jogos Olímpicos de Verão de 1920
Os Jogos Olímpicos de 1920 (em francês: Jeux olympiques de 1920; em neerlandês: Olympische Spelen van 1920), conhecidos oficialmente como Jogos da VII Olimpíada, foram os sétimos Jogos Olímpicos da era moderna. Realizados em Antuérpia, na região de Flandres, na Bélgica, numa homenagem do Comitê Olímpico Internacional ao sofrimento infligido ao povo belga durante a Primeira Guerra Mundial que impediu a realização dos Jogos Olímpicos de Verão de 1916, anteriormente marcados para Berlim. Atletas de 29 países, num total de 2 561 homens e 65 mulheres, participaram de 24 esportes, num total de 156 eventos. Abertos oficialmente pelo rei Alberto I da Bélgica em 20 de abril e tiveram mais uma vez longa duração de quase 5 meses, até 12 de setembro.
La Roque-Alric
La Roque-Alric é uma comuna francesa na região administrativa da Provença-Alpes-Costa Azul, no departamento de Vaucluse. Estende-se por uma área de 4,87 km². Em 2010 a comuna tinha 52 habitantes (densidade: 10,7 hab./km²).

Provença-Alpes-Costa Azul
Provença-Alpes-Costa Azul (em francês:  Provence-Alpes-Côte d'Azur) é uma das 18 regiões administrativas da França. É constantemente chamada de PACA, nome originado por suas iniciais.

Situada na região sul da França, faz limite com a Itália ao leste, com a região Auvérnia-Ródano-Alpes ao norte, com a região Occitânia ao oeste, com Mónaco e banhada pelo mar Mediterrâneo ao sul.

A região é dividida em seis departamentos e sua prefeitura se situa na cidade de Marselha.
Temporada da NHL de 1976–77
A temporada da NHL de 1976–77 foi a 60.ª temporada da National Hockey League (NHL). Dezoito times jogaram 80 jogos. Desde a mudança do Ottawa Senators em 1934, quando se tornou St. Louis Eagles, nenhum time da NHL havia mudado de cidade. Este ano viu não apenas uma, mas duas relocações de times. O Kansas City Scouts mudou para Denver, e se tornou o Colorado Rockies e o California Golden Seals transferiu-se para Cleveland, virando o Cleveland Barons. A instabilidade, junto com as pobres performances do Washington Capitals e dos Scouts desde a expansão de 1974, fez com que a liga desistisse de uma expansão para Denver e Seattle que havia sido proposta para esta temporada.

O Montreal Canadiens mais uma vez dominou os playoffs, já que, pelo segundo ano consecutivo, eles surraram seu oponente por 4-0 na série final da Stanley Cup.

Essa temporada foi a última de Clarence Campbell como Presidente da NHL. Ele foi sucedido po John Ziegler.

Denver
Denver é a capital, a cidade mais populosa e um dos 64 condados do estado norte-americano do Colorado.

Com mais de 715 mil habitantes, de acordo com o censo nacional de 2020, é a cidade mais populosa do estado e a 19ª mais populosa do país. Pouco mais de 12% da população total do Colorado vive em Denver.
Rogério Lemgruber
Rogério Lemgruber (Rio de Janeiro, 5 de janeiro de 1952 – Rio de Janeiro, 29 de maio de 1992), também conhecido como Bagulhão, foi um assaltante de banco, homicida, sequestrador e traficante de drogas brasileiro, criador da facção Falange Vermelha, antecessora da facção hoje denominada Comando Vermelho, cujo nome completo o homenageia (Comando Vermelho Rogério Lemgruber). Seu irmão Sebastião Lemgruber, vulgo Tiguel e seu sobrinho Rondinelli também faziam parte da facção.

Roubo
Roubo é o ato de subtrair coisa móvel alheia, para si ou para outrem, mediante grave ameaça ou violência a pessoa (ou não), ou depois de havê-la, por qualquer meio, reduzido à impossibilidade de resistência.
TRS 2
TRS 2 (Tetrahedron Research Satellite 2), também denominado de ERS 5, foi um satélite artificial estadunidense lançado em 9 de maio de 1963 por meio de um foguete Atlas-Agena B a partir da Base da Força Aérea de Vandenberg.

Base da Força Espacial de Vandenberg
A Base da Força Espacial de Vandenberg (IATA: VBG, ICAO: KVBG, FAA LID: VBG) (em inglês:  Vandenberg Space Force Base), anteriormente Base da Força Aérea de Vandenberg, é uma instalação militar com uma base de lançamento de foguetes, localizada no Condado de Santa Bárbara, na Califórnia, Estados Unidos. De acordo com o recenseamento de 2000, a população da base aérea era de 6 151 pessoas.

Vandenberg é onde está a 14a. divisão da Força Aérea dos Estados Unidos, e uma base de lançamento e testes de mísseis e foguetes (Western Launch and Test Range ou WLTR), e é responsável pelo lançamento de satélites militares, científicos e de organizações comerciais, bem como por testes de mísseis balísticos intercontinentais, incluindo o míssil Minuteman III. Vandenberg está assumindo um novo papel com a criação do "Joint Functional Component Command for Space" (JFCC SPACE).
Falácia existencial
A falácia existencial, ou instanciação existencial, é uma falácia formal. Na falácia existencial, presume-se que uma classe tem membros quando uma não é suposto ter; i.e., quando não se deve assumir uma importação existencial. Não se confundir com 'Afirmação do consequente', como em "Se A, então B. B. Portanto A".

Um exemplo seria: "Todos os unicórnios têm um corno na sua testa". Não implica que existam unicórnios em geral no mundo, e assim não se pode assumir que, se a declaração for verdadeira, em algum lado exista um unicórnio no mundo (com um corno na sua testa). A declaração, se assumida como verdadeira, implica apenas que se houvesse unicórnios, cada teria definitivamente um corno na sua testa.

Instanciação existencial
Na lógica de predicados, instanciação existencial (também chamada como eliminação existencial) é uma regra de inferência válida, onde dada um fórmula da forma ,  pode-se inferir  como um novo símbolo de constante ou variável denotada por c. A regra tem a restrição de que a constante ou variável c que forem introduzidas pela regra, devem ser um novo termo que não ocorreu no início da prova.

A regra denotada em notação formal:

onde 'a' é um termo arbitrário que não tem sido parte da prova até agora.