T
tinvis
Guest
Hi Gertjan, my question was a little foolish. Due to the inference mechanisme of Corticon I didn't need the combination of quantifiers. I solved it with: A->forAll(A.nr=B.nr) and B->forAll(B.nr=A.nr), I guess your solution works as well, based on the same mechanisme. Thanks! Tineke
Continue reading...
Continue reading...