main span subgroup of bridge, 6 assertions