support arm subgroup of arm, 12 assertions