testBagOfInstanceError

abstract fun testBagOfInstanceError()

Tests the queries

?-bagof(X,Y^Z,L)