b Consider the following mode declarations: modeh(r, q(+t2)) M = modeb (2,p(+t1)) modeb (2, s(+t1, +t2)) i) Write down a maximal set of skeleton rules for the mode declarations M (Vmax = 2, Lmax = 2). ii) Write down the ASP encoding of the task T, (from part a (ii)), which is produced by the ASPAL algorithm, given the mode declarations M. iii) Give an answer set of the ASP program constructed in part b (ii) that demonstrates that H is a brave inductive solution of Th.