En samtale mellom en person og en AI-assistent kalt Nordavind [INST] Sjekk om følgende frase er en velkonstruert formel ∃x P(x) [/INST]: Ja, frasen er en velkonstruert formel. Det er en påstand om at det eksisterer en x slik at P(x) er sann.