Problem 4. (2 point) Consider the following Knowledge base (KB) as follows: u.v.w.Tenured(u)Tenured(v)Fat(v)Fat(Boss(w))Fat(w)Boss(Andrew)=BobTenured(Bob) (1) Is "Fat" a predicate symbol, a function symbol, or a constant symbol? Explain by steps in details. (2) Is "Boss" a predicate symbol, a function symbol, or a constant symbol? Explain by steps in details