1. 2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/Sets And Relations-Answers.1 The family tree Event-B context specification is taken from the on-line tutorials. You can download from the web site. Let’s look at a couple of context models (using RODIN) Formalising Families

2. 2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/Sets And Relations-Answers.2 Formalising Families

3. 2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/Sets And Relations-Answers.3 Formalising Families

4. 2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/Sets And Relations-Answers.4 Formalising Families QUESTIONS ?: Can you add axioms for ancestors and descendants? What is the main problem?