Tomaszewicz, B. Verification Strategies for Two Majority Quantifiers in Polish. SuB 2019, 15, 597-612.