Approximatie voor functies mag niet op de grafe redeneren

[Broes De Cat]

Theory c < 5

Structuur c = {1..1000}

approximatie breidt structuur uit met c neq 5, c neq 6, ... 1000

op het moment dat c aan de grounding wordt toegevoegd, worden al die equalities ook nog eens aan de grounding toegevoegd. Voor n = 10000 kan het niet eens meer opgelost worden dan.