planets orbit stars
starship is spacecraft. halo_orbit is orbit. geosynchronous_orbit is orbit. orbit is body_part. sun is orbited_by_nine_planets. sun is not orbited_by_nine_planets. halo_orbit is not orbit. bound_orbit is orbit. sun is orbited_by_earth. orbital_rocket_flight is orbiting.