Let’s say player A is in a formal alliance with player B, and player B is also in a formal alliance with player C. Players B and C send ships which arrive simultaneously to a star controlled by player A. Will player B’s ships fight with player A’s against player C’s?
Ships from player B will help defend A’s star against C’s ships.