Compositional Predicate Abstraction from Game Semantics -- Compositional Synthesis of