 0)This third one has been bugging me for quite some time now. I have come to 0 answers and I am not sure wether one of these is correct or if there is a correct one at all: a) $∃x∀y ¬[\operatorname{Uncle}(x,\operatorname{Tom}) \to \operatorname{Child}(y) \wedge 