geometric shape subgroup of shape, 1 assertions