If eg SpaceX spins out Starlink would it still count towards SpaceX's valuation?

Also, how does this resolve if it's unclear which is worth more?

Just realised the creator is banned and thus we won't be getting any clarification; do @traders want to come to a consensus on the best interpretation?

@Nat I haven't traded but I'm not sure there's an objective measure of SpaceX's value you could get. Dunno about openAI. I would include Starlink as it's part of SpaceX at the time of market creation.