It also leads to some spurious variables that are bound by lambdas or existentials, but which do not appear as arguments of any predicate: for example in the above analysis for Disney acquired Pixar, the variables x a , y e and z e are unused.
these "spurious" variables are easily identified and discarded.