work order subgroup of order, 3 assertions