inner planet subgroup of planet, 16 assertions