progol <<% > animals.out [animals]? generalise(class/2)? test(anim_test)? %