Önermede her S ad sembolü yerine s elemanını yazılır: A yerine a, B yerine b, ... gibi. Bir ad sembolünün her geçtiği yere aynı eleman konmalıdır.

Tümel-özelleme ve tikel-özelleme kurallarını, tümel ve tikel-nicelemelerin değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerlenir.

Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve bu durum o dalın, sonuna # (çarpı) işareti konarak kapanmasıyla belirtilir.

İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir daldır. Bu durum o dalın sonuna bir P işareti konarak gösterilir.

Çözümleyici çizelge ile model oluştururken, çatal açma kurallarının alt alta yazma kuralları ile ilgili herhangi bir öncelik yoktur.