learning algorithm subgroup of algorithm, 1 assertions