Assume that you are given the following two denotational functions: • MB (bool, s), a denotational function that defines the meaning of Boolean expression, bool (maps to True, False, or error) o Ms (stmt, s), a denotational function that defines the meaning of a single statement, stmt (maps to a new state resulting from the execution of the stmt). Consider the following grammar rules that define if-then-else and stmt-list: if-then-else : IF bool THEN stmt-list ELSE stmt-list stmt-list stmt-list : stmt stmt SEMI stmt-list Complete the denotational function definitions for if-then-else and stmt-list: Mc(if-then-else, s) Msl (stmt-list, s) =