?x (Fx › (Gx ? Hx) önermesinde ad sembolü olmadığından yüklem sembollerini yerine yazarsak, ?x(( a balıktır)x › ((a denizde yaşar)x ? ((a tatlı suda yaşar)x)) sonra a yerine x değişkeni konmasıyla, ?x(( x balıktır) › ((x denizde yaşar) ? ((x tatlı suda yaşar))) olur. Niceleyiciler ve önerme eklemlerini yerine yazar ve parantezler yerine noktalama işaretlerini yazarsak, Her balık ya denizde ya da tatlı suda yaşar elde edilir.