The Choice Construct in the Soufflé Language. - Xiaowen Hu; Joshua Karp; David Zhao 001; Abdul Zreika; Xi Wu 005; Bernhard Scholz (APLAS, 2021)