football league subgroup of league, 9 assertions