input gear subgroup of gear, 1 assertions