SORU: Çözümleyici çizelge ile geçerlilik denetlemesi yaparken tikel-özelleme kuralının tümel-özelleme kuralından önce uygulanmasının sebebi nedir?
CEVAP: Önce tümel-özelleme kuralını, ardından tikel- özelleme kuralını uygularsak, tümel-özellemede kullandığımız elemanı tikel-özellemede kullanamayacağımızdan, çelişki elde edemeyiz ve çizelgeyi kapatamayız. Bu durumda tekrar bir tümel- özelleme yapmak yani çizelgeye fazladan bir nokta eklemek zorunda kalırız.
