They are usually parsed in the form: For all x, if x is a swan, then x is white.
Bunlar genellikle şu formda çözümlenir: Tüm x'ler için, eğer x kuğuysa, x beyazdır.