Q3) Consider the following partial Alloy model, then answer the following questions. abstract sig Person f father: set Person, mother: set Person, children: set Person s Man extends Person \{ sig Mife: set Person U sig Woman extends Person \{ h husband: set Person a) Write a constraint for the assertion "the father and children of a person are different" as an assert. b) Write a constraint for the assertion "a person doesn't have more than one father" as an assert. c) Write a constraint for the assertion "the father of a person is a man" as an assert. d) Write a constraint for the assertion "a person isn't his/her own descendant" as an assert. e) Write a constraint for the assertion "the mother of a person is his/her father's wife" as an assert. CS.VS.970|| Q3) Consider the following partial Alloy model, then answer the following questions. abstract sig Person f father: set Person, mother: set Person, children: set Person s Man extends Person \{ sig Mife: set Person U sig Woman extends Person \{ h husband: set Person a) Write a constraint for the assertion "the father and children of a person are different" as an assert. b) Write a constraint for the assertion "a person doesn't have more than one father" as an assert. c) Write a constraint for the assertion "the father of a person is a man" as an assert. d) Write a constraint for the assertion "a person isn't his/her own descendant" as an assert. e) Write a constraint for the assertion "the mother of a person is his/her father's wife" as an assert. CS.VS.970||