Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator