:-set(verbose,2)?
[b]?
['example/ex_sampleSize1410.pl']?
:- generalise(play/1)?
:- test(test_1000)?