Assiging a Predicate to another proper Predicate instead of a Variable Predicate
Assiging a Predicate to another proper Predicate instead of a Variable Predicate