Ɐx (Fx ↔ (Gx ˅ Hx) önermesinde ad sembolü olmadığından yüklem sembollerini yerine yazarsak, Ɐx(( a’nı kanatları vardır )x ↔ ((a kuştur) x ˅ ((a uçaktır)x)) sonra a yerine x değişkeni konmasıyla, Ɐx(( x’in kanatları vardır) ↔ ((x kuştur) ˅ ((x uçaktır))) olur. Niceleyiciler ve önerme eklemlerini yerine yazar ve parantezler yerine noktalama işaretlerini yazarsak, Bir şeyin kanatları vardır ancak ve ancak o şey kuştur veya uçaktır.