extrasolar planet subgroup of planet, 9 assertions