known planet subgroup of planet, 2 assertions