The following shows an Attribute Grammar. Syntax rule: rightarrow = Semantic rule: .expected_type leftarrow .actual_type Syntax rule: rightarrow [2) + [3] Semantic rule: .actual_type leftarrow if ( [2].actual_type = int) and ( [3].actual_type = int) then int else real end if Predicate: .actual_type == .expected_type Syntax rule: rightarrow Semantic rule: .actual_type leftarrow .actual_type Predicate: .actual_type = = .expected_type Syntax rule: rightarrow A | B | C Semantic rule: .actual_type leftarrow look-up( .string) The look-up function looks up a given variable name in the symbol table and returns the variables type. Syntax portion of this example AG is: rightarrow = rightarrow A | B | C rightarrow + | rightarrow () | Answer the following questions for the statement B = A + E + C Show the leftmost derivation Draw the parse tree Suppose, B is real_tpe, A and C are int_type, decorate the parse tree