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