inductive argument subgroup of argument, 6 assertions