main campus subgroup of campus, 15 assertions