ReleasedIn(familyPirateParty, northAmerica) ∨ ReleasedIn(familyPirateParty, japan)
∀x (Game(x) ∧ AvailableIn(x, canada) → ReleasedIn(x, northAmerica))
∀x (Game(x) ∧ BoughtIn(x, japan) → ReleasedIn(x, japan))
Game(familyPirateParty) ∧ AvailableIn(familyPirateParty, canada) ∧ BoughtIn(familyPirateParty, japan))
∃x (Game(x) ∧ ReleasedIn(x, japan) ∧ For(x, wii))
ReleasedIn(familyPirateParty, japan)