Consider the following set A of symbols W, L- unary predicates binary predicate a,c-constants Let MM (M, I) be the EA-structure where M-set of all humans born to this day. W-set of all women, L-set of all humans still alive, . C = {(x,y)|x,y E M and x is a child of y}, C) a, b are any (fixed) elements of M. Find LA-formulas ,-906 which formalize the following statements about M: (1) a's mother is not alive, (2) a is b's grandfather, (3) at least one of a's grandparents is still alive, (4) a and b are siblings (5) a and b have a common aunt. Consider the following set A of symbols W, L- unary predicates binary predicate a,c-constants Let MM (M, I) be the EA-structure where M-set of all humans born to this day. W-set of all women, L-set of all humans still alive, . C = {(x,y)|x,y E M and x is a child of y}, C) a, b are any (fixed) elements of M. Find LA-formulas ,-906 which formalize the following statements about M: (1) a's mother is not alive, (2) a is b's grandfather, (3) at least one of a's grandparents is still alive, (4) a and b are siblings (5) a and b have a common aunt