2. Using the given predicate definitions, express the following as a predicate formula. The universe of discourse (the set of all possible values applicable to predicate variables) is given to be the set of human beings. $(x,y) - True only if c is the sibling of y F(x,y) - True only if r is the father of y **If there are two individuals who are siblings then they have the same father". (hint:you may have to use equality predicate) [3M)