3. Consider the following evaluation function for propositions. value EvalPRO: PRO-. TBLS C Bool Eval_PRO(pro)(tbls)(c) - case pro of true- tt, false ff chaos 1 -p-+ let b-Eval-PRO(p)(tbls)(c) n Eval-BGT(-b)(tbls) end, p'o p" let b' Eval_PRO(p(tbls)(c), b" Eval PRO(p"X(tbls)(e) in Eval BGT (b' o b"(tbls) end, (p) Eval PRO(P(tbls)(c), end Given the evaluation function and the context function c [a-ff, b+t], show the evaluation trace of (-(true V a) A b). Assume that tbls is given. (3 points)